News_2023
July
- Our paper “Formal Explainability of DNN-Based Reactive Systems” has been accepted at FMCAD 2023 😍.
June
- Our paper “Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation” has been accepted at IROS 2023 🤖.
May
- I successfully defended my PhD thesis. A big thanks to my advisor Prof. Alessandro Farinelli and to the thesis committee Prof. Matthijs Spaan, Prof. Roberto Capobianco, and Prof. Domenico Bloisi 🎓.
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 🚀.