Author of the publication

Reachability Analysis of a General Class of Neural Ordinary Differential Equations.

, , , and . FORMATS, volume 13465 of Lecture Notes in Computer Science, page 258-277. Springer, (2022)

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

Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning., , and . SEFM, volume 13550 of Lecture Notes in Computer Science, page 190-206. Springer, (2022)Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection., , , , and . CoRR, (2024)On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers., , , , and . ICAA, page 1-10. IEEE, (2022)Reachability Analysis of a General Class of Neural Ordinary Differential Equations., , , and . FORMATS, volume 13465 of Lecture Notes in Computer Science, page 258-277. Springer, (2022)Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents., , , and . CoRR, (2022)Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments., , , , , , , , , and 4 other author(s). CoRR, (2017)Case Study: Safety Verification of an Unmanned Underwater Vehicle., , , , and . SP (Workshops), page 189-195. IEEE, (2020)Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability., , , , , , , and . CAV (1), volume 12759 of Lecture Notes in Computer Science, page 263-286. Springer, (2021)Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning., , , and . ICAA, page 11-20. IEEE, (2022)Reachability Analysis for High-Index Linear Differential Algebraic Equations., , , , and . FORMATS, volume 11750 of Lecture Notes in Computer Science, page 160-177. Springer, (2019)