Dec

  • New paper accepted at AAAI 2024: “Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees”.

 Nov

  • “Scaling #DNN-Verification Tools with Efficient Bound Propagation and Parallel Computing” has been accepted at the 10th Italian Workshop on Artificial Intelligence and Robotics (AIRO 2023) , co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AI*IA 2023).

 Jun

  • Our paper “Formal Verification for Counting Unsafe Inputs in Deep Neural Networks” has been accepted at the 2nd Workshop on Formal Verification of Machine Learning (WFVML 2023) at ICML 2023!

  • Our paper “Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation” has been accepted at IROS 2023! 🤖

 May

  • Excited to share that in July I’ll start a research visit at the Intelligent Controll Lab part of the Robotics Institute at Carnegie Mellon University(CMU) 🇺🇸, under the supervision of Prof. Changliu Liu.

 April

  • Our paper “The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks” has been accepted at IJCAI 2023 (15% acceptance rate) 🤩.

 January

  • Our paper “Verifying Learning-Based Robotic Navigation Systems” in collaboration with The Katz Lab has been accepted at ETAPS TACAS 2023 🚀.

  • Our paper “Online Safety Property Collection and Refinement for Safe Deep Reinforcement Learning in Mapless Navigation” has been accepted at ICRA 2023.

  • Our paper “Safe Deep Reinforcement Learning by Verifying Task-Level Properties” has been accepted at AAMAS 2023.