Davide Corsi

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 29

Top Topics

Population Genetics

Learning Models

Reinforcement Learning

Top Venues

Publications

Davide Corsi, Davide Camponogara, Alessandro Farinelli
Aquatic Navigation: A Challenging Benchmark for Deep Reinforcement Learning. CoRR (2024)
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. AAAI (2024)
Davide Corsi, Guy Amir, Andoni Rodriguez, Cesar Sanchez, Guy Katz, Roy Fox
Verification-Guided Shielding for Deep Reinforcement Learning. CoRR (2024)
Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli
Analyzing Adversarial Inputs in Deep Reinforcement Learning. CoRR (2024)
Andoni Rodriguez, Guy Amir, Davide Corsi, Cesar Sanchez, Guy Katz
Shield Synthesis for LTL Modulo Theories. CoRR (2024)
Federico Bianchi, Davide Corsi, Luca Marzari, Daniele Meli, Francesco Trotti, Maddalena Zuccotto, Alberto Castellini, Alessandro Farinelli
Safe and Efficient Reinforcement Learning for Environmental Monitoring. Ital-IA (2023)
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
Formally Explaining Neural Networks within Reactive Systems. CoRR (2023)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. TACAS (1) (2023)
Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
The #DNN-Verification problem: Counting Unsafe Inputs for Deep Neural Networks. CoRR (2023)
Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. CoRR (2023)
Luca Marzari, Davide Corsi, Ferdinando Cicalese, Alessandro Farinelli
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks. IJCAI (2023)
Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. IROS (2023)
Shahaf Bassan, Guy Amir, Davide Corsi, Idan Refaeli, Guy Katz
Formally Explaining Neural Networks within Reactive Systems. FMCAD (2023)
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees. CoRR (2023)
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli
Curriculum learning for safe mapless navigation. SAC (2022)
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
Exploring Safer Behaviors for Deep Reinforcement Learning. AAAI (2022)
Davide Corsi, Raz Yerushalmi, Guy Amir, Alessandro Farinelli, David Harel, Guy Katz
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming. CoRR (2022)
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli, Guy Katz
Verifying Learning-Based Robotic Navigation Systems. CoRR (2022)
Ameya Pore, Davide Corsi, Enrico Marchesini, Diego Dall'Alba, Alicia Casals, Alessandro Farinelli, Paolo Fiorini
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery. IROS (2021)
Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli
Curriculum Learning for Safe Mapless Navigation. CoRR (2021)
Davide Corsi, Enrico Marchesini, Alessandro Farinelli
Formal verification of neural networks for safety-critical tasks in deep reinforcement learning. UAI (2021)
Ameya Pore, Davide Corsi, Enrico Marchesini, Diego Dall'Alba, Alicia Casals, Alessandro Farinelli, Paolo Fiorini
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery. CoRR (2021)
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation. CoRR (2021)
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation. IROS (2021)
Enrico Marchesini, Davide Corsi, Alessandro Farinelli
Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning. ICLR (2021)
Davide Corsi, Enrico Marchesini, Alessandro Farinelli
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification. CoRR (2020)
Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Paolo Fiorini
Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation. IRC (2020)
Enrico Marchesini, Davide Corsi, Andrea Benfatti, Alessandro Farinelli, Paolo Fiorini
Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator. IRC (2019)
Fabio Marco Caputo, Irina-Mihaela Ciortan, Davide Corsi, Marco De Stefani, Andrea Giachetti
Gestural Interaction and Navigation Techniques for Virtual Museum Experiences. AVI*CH (2016)