Corsi, Davide

7 publications

L4DC 2025 Realizable Continuous-Space Shields for Safe Reinforcement Learning Kyungmin Kim, Davide Corsi, Andoni Rodrı́guez, Jb Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox

AAAI 2025 Shield Synthesis for LTL Modulo Theories Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

AAAI 2024 Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese

IJCAI 2023 The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli

AAAI 2022 Exploring Safer Behaviors for Deep Reinforcement Learning Enrico Marchesini, Davide Corsi, Alessandro Farinelli

UAI 2021 Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning Davide Corsi, Enrico Marchesini, Alessandro Farinelli

ICLR 2021 Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning Enrico Marchesini, Davide Corsi, Alessandro Farinelli