Davide Corsi

According to our database, Davide Corsi authored at least 22 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

CoRR, 2024

Shield Synthesis for LTL Modulo Theories.

Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

CoRR, 2024

Analyzing Adversarial Inputs in Deep Reinforcement Learning.

Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli

CoRR, 2024

Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning.

Davide Corsi, Davide Camponogara, Alessandro Farinelli

RLJ, 2024

Verification-Guided Shielding for Deep Reinforcement Learning.

Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, Roy Fox

RLJ, 2024

Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees.

Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Verifying Learning-Based Robotic Navigation Systems.

Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Safe and Efficient Reinforcement Learning for Environmental Monitoring.

Federico Bianchi, Davide Corsi, Luca Marzari, Daniele Meli, Francesco Trotti, Maddalena Zuccotto, Alberto Castellini, Alessandro Farinelli

Proceedings of the Italia Intelligenza Artificiale, 2023

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

IROS, 2023

The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks.

Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Formally Explaining Neural Networks within Reactive Systems.

Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Constrained Reinforcement Learning for Robotics via Scenario-Based Programming.

Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz

CoRR, 2022

Curriculum learning for safe mapless navigation.

Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Exploring Safer Behaviors for Deep Reinforcement Learning.

Enrico Marchesini, Davide Corsi, Alessandro Farinelli

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Formal verification of neural networks for safety-critical tasks in deep reinforcement learning.

Davide Corsi, Enrico Marchesini, Alessandro Farinelli

Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, 2021

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

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation.

Enrico Marchesini, Davide Corsi, Alessandro Farinelli

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning.

Enrico Marchesini, Davide Corsi, Alessandro Farinelli

Proceedings of the 9th International Conference on Learning Representations, 2021

2020

Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification.

Davide Corsi, Enrico Marchesini, Alessandro Farinelli

CoRR, 2020

Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation.

Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Paolo Fiorini

Proceedings of the Fourth IEEE International Conference on Robotic Computing, 2020

2019

Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator.

Enrico Marchesini, Davide Corsi, Andrea Benfatti, Alessandro Farinelli, Paolo Fiorini

Proceedings of the 3rd IEEE International Conference on Robotic Computing, 2019

2016

Gestural Interaction and Navigation Techniques for Virtual Museum Experiences.

Fabio Marco Caputo, Irina-Mihaela Ciortan, Davide Corsi, Marco De Stefani, Andrea Giachetti

Proceedings of the 1st Workshop on Advanced Visual Interfaces for Cultural Heritage co-located with the International Working Conference on Advanced Visual Interfaces (AVI 2016), 2016