Author of the publication

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

Perception Contracts for Safety of ML-Enabled Systems., , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 2196-2223 (October 2023)Dione: A Protocol Verification System Built with Dafny for I/O Automata., and . IFM, volume 11918 of Lecture Notes in Computer Science, page 227-245. Springer, (2019)PAC Learning-Based Verification and Model Synthesis., , , , , , and . CoRR, (2015)Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception., , , , , , , , and . EMSOFT, page 17-20. IEEE, (2022)SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems., , , , and . ITSC, page 372-379. IEEE, (2021)PAC learning-based verification and model synthesis., , , , , , and . ICSE, page 714-724. ACM, (2016)Verifying Recursive Programs Using Intraprocedural Analyzers., , , , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 118-133. Springer, (2014)Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation., , , and . CoRR, (2020)Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 41 (11): 4205-4216 (2022)Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions., , , and . CoRR, (2021)