news

2024	September The result of my collaboration with the Hebrew University of Jerusalem has been accepted at ICONIP 2024, we are excited to present our new paper Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming! 🚀  July Excited to share that my first work at the University of California: Irvine has been accepted in RLC 2024 😍. What an amazing collaboration with colleagues from all over the world Verification-Guided Shielding for Deep Reinforcement Learning!  January Start of a new job at the University of California: Irvine in the Intelligent Dynamics Lab headed by Prof. Roy Fox. Really excited about this new adventure! 🇺🇸 Delight to share that our new paper “Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees” has been accepted at AAAI 2024 ✈️.
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 🚀.
2022	September As a result of the research visit at the Hebrew University of Jerusalem, we submitted the papers “Verifying Learning-Based Robotic Navigation Systems” and “Constrained Reinforcement Learning for Robotics via Scenario-Based Programming” at two international conferences.  February Excited to share that I’ll start a reaserach visit at the Hebrew University of Jerusalem, under the supervision of Prof. Guy Katz. 🇮🇱  January Our paper “Exploring Safer Behaviors for Deep Reinforcement Learning” has been accepted at AAAI 2022 (15% acceptance rate) 🤩.
2021	June Our two papers “Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation” and “Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery” have been accepted at IROS 2021 🤖.  May Proud to share that my first main author paper “Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning” has been accepted at UAI 2021 😍. Our paper “Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning” has been accepted at ICLR 2021.