Davide Corsi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
12
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Shield Synthesis for LTL Modulo Theories. | Andoni Rodrguez, Guy Amir, Davide Corsi, Csar Snchez, Guy Katz |
| 2025 | ATVA | Efficient Dynamic Shielding for Parametric Safety Specifications. | Davide Corsi, Kaushik Mallik, Andoni Rodrguez, Csar Snchez |
| 2025 | KR | Explanations for Unrealizability of Infinite-State Safety Shields. | Andoni Rodrguez, Irfansha Shaik, Davide Corsi, Roy Fox, Csar Snchez |
| 2024 | AAAI | Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. | Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese |
| 2024 | ICONIP | Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming. | Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz |
| 2023 | FMCAD | Formally Explaining Neural Networks within Reactive Systems. | Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz |
| 2023 | IJCAI | The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks. | Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli |
| 2023 | IROS | Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. | Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba |
| 2023 | TACAS | Verifying Learning-Based Robotic Navigation Systems. | Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz |
| 2022 | AAAI | Exploring Safer Behaviors for Deep Reinforcement Learning. | Enrico Marchesini, Davide Corsi, Alessandro Farinelli |
| 2022 | SAC | Curriculum learning for safe mapless navigation. | Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli |
| 2021 | ICLR | Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning. | Enrico Marchesini, Davide Corsi, Alessandro Farinelli |
| 2021 | IROS | Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation. | Enrico Marchesini, Davide Corsi, Alessandro Farinelli |
| 2021 | IROS | Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery. | Ameya Pore, Davide Corsi, Enrico Marchesini, Diego Dall'Alba, Alicia Casals, Alessandro Farinelli, Paolo Fiorini |
| 2021 | UAI | Formal verification of neural networks for safety-critical tasks in deep reinforcement learning. | Davide Corsi, Enrico Marchesini, Alessandro Farinelli |
| 2016 | AVI | Gestural Interaction and Navigation Techniques for Virtual Museum Experiences. | Fabio Marco Caputo, Irina-Mihaela Ciortan, Davide Corsi, Marco De Stefani, Andrea Giachetti |