Davide Corsi

42 papers A* 6A 4B 2Misc 1Journal 21Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Adapting World Models with Latent-State Dynamics Residuals.
CoRR
JB Lanier, Kyungmin Kim, Armin Karamzade, Yifei Liu, Ankita Sinha, Kat He, Davide Corsi, Roy Fox
2025 B conf
Efficient Dynamic Shielding for Parametric Safety Specifications.
ATVA
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez
2025 J jnl
Efficient Dynamic Shielding for Parametric Safety Specifications.
CoRR
Davide Corsi, Kaushik Mallik, Andoni Rodríguez, César Sánchez
2025 A* conf
Explanations for Unrealizability of Infinite-State Safety Shields.
KR
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez
2025 J jnl
Explanations for Unrealizability of Infinite-State Safety Shields.
CoRR
Andoni Rodríguez, Irfansha Shaik, Davide Corsi, Roy Fox, César Sánchez
2025 J jnl
Model-Based Reinforcement Learning under Random Observation Delays.
CoRR
Armin Karamzade, Kyungmin Kim, JB Lanier, Davide Corsi, Roy Fox
2025 — conf
Realizable Continuous-Space Shields for Safe Reinforcement Learning.
L4DC
Kyungmin Kim, Davide Corsi, Andoni Rodríguez, JB Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox
2025 A* conf
Shield Synthesis for LTL Modulo Theories.
AAAI
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2024 J jnl
Analyzing Adversarial Inputs in Deep Reinforcement Learning.
CoRR
Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli
2024 J jnl
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning.
RLJ
Davide Corsi, Davide Camponogara, Alessandro Farinelli
2024 J jnl
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning.
CoRR
Davide Corsi, Davide Camponogara, Alessandro Farinelli
2024 — conf
Enforcing Specific Behaviours via Constrained DRL and Scenario-Based Programming.
ICONIP (11)
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
2024 A* conf
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees.
AAAI
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese
2024 J jnl
Realizable Continuous-Space Shields for Safe Reinforcement Learning.
CoRR
Kyungmin Kim, Davide Corsi, Andoni Rodríguez, JB Lanier, Benjami Parellada, Pierre Baldi, César Sánchez, Roy Fox
2024 J jnl
Shield Synthesis for LTL Modulo Theories.
CoRR
Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
RLJ
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox
2024 J jnl
Verification-Guided Shielding for Deep Reinforcement Learning.
CoRR
Davide Corsi, Guy Amir, Andoni Rodríguez, César Sánchez, Guy Katz, Roy Fox
2023 A conf
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation.
IROS
Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba
2023 J jnl
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation.
CoRR
Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba
2023 J jnl
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees.
CoRR
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese
2023 B conf
Formally Explaining Neural Networks within Reactive Systems.
FMCAD
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
2023 J jnl
Formally Explaining Neural Networks within Reactive Systems.
CoRR
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
2023 — —
Safe Deep Reinforcement Learning: Enhancing the Reliability of Intelligent Systems.
Davide Corsi
2023 — conf
Safe and Efficient Reinforcement Learning for Environmental Monitoring.
Ital-IA
Federico Bianchi, Davide Corsi, Luca Marzari, Daniele Meli, Francesco Trotti, Maddalena Zuccotto, Alberto Castellini, Alessandro Farinelli
2023 A* conf
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks.
IJCAI
Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
2023 J jnl
The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks.
CoRR
Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
2023 — conf
Verifying Learning-Based Robotic Navigation Systems.
TACAS (1)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2022 J jnl
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming.
CoRR
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
2022 Misc conf
Curriculum learning for safe mapless navigation.
SAC
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli
2022 A* conf
Exploring Safer Behaviors for Deep Reinforcement Learning.
AAAI
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
2022 J jnl
Verifying Learning-Based Robotic Navigation Systems.
CoRR
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
2021 A conf
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation.
IROS
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
2021 J jnl
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation.
CoRR
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
2021 J jnl
Curriculum Learning for Safe Mapless Navigation.
CoRR
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli
2021 A conf
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning.
UAI
Davide Corsi, Enrico Marchesini, Alessandro Farinelli
2021 A* conf
Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning.
ICLR
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
2021 A conf
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery.
IROS
Ameya Pore, Davide Corsi, Enrico Marchesini, Diego Dall'Alba, Alicia Casals, Alessandro Farinelli, Paolo Fiorini
2021 J jnl
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery.
CoRR
Ameya Pore, Davide Corsi, Enrico Marchesini, Diego Dall'Alba, Alicia Casals, Alessandro Farinelli, Paolo Fiorini
2020 J jnl
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification.
CoRR
Davide Corsi, Enrico Marchesini, Alessandro Farinelli
2020 — conf
Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation.
IRC
Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Paolo Fiorini
2019 — conf
Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator.
IRC
Enrico Marchesini, Davide Corsi, Andrea Benfatti, Alessandro Farinelli, Paolo Fiorini
2016 — conf
Gestural Interaction and Navigation Techniques for Virtual Museum Experiences.
AVI*CH
Fabio Marco Caputo, Irina-Mihaela Ciortan, Davide Corsi, Marco De Stefani, Andrea Giachetti