Author of the publication

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems.

, , , , , , , and . Allerton, page 1-8. IEEE, (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

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems., , , , , , , and . Allerton, page 1-8. IEEE, (2023)REGLO: Provable Neural Network Repair for Global Robustness Properties., , , , , , , , and . AAAI, page 12061-12071. AAAI Press, (2024)Programmatic Reward Design by Example., and . AAAI, page 9233-9241. AAAI Press, (2022)A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines., and . ICML, volume 162 of Proceedings of Machine Learning Research, page 27159-27178. PMLR, (2022)Runtime-Safety-Guided Policy Repair., , , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 131-150. Springer, (2020)