Davide Corsi

Postdoctoral Research Associate


📍 Verona, Italy

I am a Postdoctoral Researcher at University of California: Irvine, in the Intelligent Dynamics Lab under the supervision of Prof. Roy Fox. Previously, I worked as a visiting researcher under the supervision of Prof. Guy Katz at the Hebrew University of Jerusalem. I obtained my PhD at the University of Verona advised by Prof. Alessandro Farinelli.

My Research interests focus on developing novel Deep Reinforcement Learning (DRL) methods applied to robotics, with a particular emphasis on the generation of reliable systems in safety-critical contexts. I try to analyze this problem from two different perspectives: (i) safe training via constrained reinforcement learning, and (ii) validation via formal verification of neural networks.

As an essential aspect of my work, I constantly try to merge theoretical research with practical application to real-world robotic problems. For more information on my research activity, you can visit the publications page.

Places (📍) :
  • 🇺🇸 University of California: Irvine, United States
  • 🇮🇱 The Hebrew University of Jerusalem, Israel
  • 🇮🇹 University of Verona, Italy

News 📢

2024 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 😍.
  • 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) 🤩.
  • 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 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 🤖.
  • 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.

Selected publications 📚

  1. IROS
    Davide Corsi*, Luca Marzari*, Ameya Pore*, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, and Diego Dall’Alba
    In IEEE International Conference on Intelligent Robots and Systems, 2023
  2. IJCAI
    Luca Marzari*, Davide Corsi*, Ferdinando Cicalese, and Alessandro Farinelli
    In International Joint Conference on Artificial Intelligence, 2023
  3. TACAS
    Guy Amir*, Davide Corsi*, Raz Yerushalmi, Luca Marzari, Alessandro Farinelli, David Harel, and Guy Katz
    In Tools and Algorithms for the Construction and Analysis of Systems, 2023
  4. AAAI
    Enrico Marchesini*, Davide Corsi*, and Alessandro Farinelli
    In The 36th AAAI Conference on Artificial Intelligence, 2022