2024 | January - Our paper “Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees” has been selected for an oral presentation at AAAI 2024 🤩.
|
2023 | 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 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.
|
2022 | October - Excited to start a PhD in Computer Science advised by Prof. Alessandro Farinelli and Prof. Ferdinando Cicalese at the Department of Computer Science, Verona.
April - I Started a Research Fellowship under the supervision of Prof. Alessandro Farinelli at the Department of Computer Science, Verona.
|
2021 | December - 1 poster paper accepted at ACM SAC IRMAS (< 25% acceptance rate) on “Curriculum Learning For Safe Mapless Navigation”.
September - 1 paper accepted at IEEE ICAR on “Towards Hierarchical Task Decomposition using Deep Reinforcement Learning for Pick and Place Subtasks”.
|