Author of the publication

Conservative Safety Monitors of Stochastic Dynamical Systems.

, , , and . NFM, volume 13903 of Lecture Notes in Computer Science, page 140-156. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Safe Planning in Dynamic Environments Using Conformal Prediction., , , and . IEEE Robotics Autom. Lett., 8 (8): 5116-5123 (2023)Distributionally Robust Statistical Verification with Imprecise Neural Networks., , , , , , , and . CoRR, (2023)Confidence Composition for Monitors of Verification Assumptions., , , , , , and . CoRR, (2021)Repairing Learning-Enabled Controllers While Preserving What Works., , , , and . CoRR, (2023)Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis., , , and . CoRR, (2021)Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information., , , , and . IROS, page 10290-10296. IEEE, (2022)Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper., , , and . Formal Methods in Outer Space, volume 13065 of Lecture Notes in Computer Science, page 137-146. Springer, (2021)Causal Repair of Learning-Enabled Cyber-Physical Systems., , , , and . ICAA, page 1-10. IEEE, (2023)Risk Verification of Stochastic Systems with Neural Network Controllers., , , and . CoRR, (2022)Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates., , , , and . CoRR, (2023)