CORSI, DAVIDE
CORSI, DAVIDE
DIPARTIMENTO DI INFORMATICA
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation
2021-01-01 Marchesini, Enrico; Corsi, Davide; Farinelli, Alessandro
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
2023-01-01 Corsi, Davide; Marzari, Luca; Pore, Ameya; Farinelli, Alessandro; Casals, Alicia; Fiorini, Paolo; Dall'Alba, Diego
Curriculum learning for safe mapless navigation
2022-01-01 Marzari, Luca; Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro
Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator
2019-01-01 Marchesini, Enrico; Corsi, Davide; Benfatti, Andrea; Farinelli, Alessandro; Fiorini, Paolo
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees
2024-01-01 Marzari, Luca; Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro; Cicalese, Ferdinando
Exploring Safer Behaviors for Deep Reinforcement Learning
2022-01-01 Marchesini, Enrico; Corsi, Davide; Farinelli, Alessandro
Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning
2021-01-01 Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro
Gestural Interaction and Navigation Techniques for Virtual Museum Experiences
2016-01-01 Caputo, Fabio Marco; Ciortan, IRINA-MIHAELA; Corsi, Davide; Marco De Stefani, ; Giachetti, Andrea
Safe and Efficient Reinforcement Learning for Environmental Monitoring
2023-01-01 Bianchi, Federico; Corsi, Davide; Marzari, Luca; Meli, Daniele; Trotti, Francesco; Zuccotto, Maddalena; Castellini, Alberto; Farinelli, Alessandro
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery
2021-01-01 Pore, Ameya; Corsi, Davide; Marchesini, Enrico; Dall'Alba, Diego; Casals, Alicia; Farinelli, Alessandro; Fiorini, Paolo
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks
2023-01-01 Marzari, Luca; Corsi, Davide; Cicalese, Ferdinando; Farinelli, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation | 1-gen-2021 | Marchesini, Enrico; Corsi, Davide; Farinelli, Alessandro | |
| Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation | 1-gen-2023 | Corsi, Davide; Marzari, Luca; Pore, Ameya; Farinelli, Alessandro; Casals, Alicia; Fiorini, Paolo; Dall'Alba, Diego | |
| Curriculum learning for safe mapless navigation | 1-gen-2022 | Marzari, Luca; Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro | |
| Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator | 1-gen-2019 | Marchesini, Enrico; Corsi, Davide; Benfatti, Andrea; Farinelli, Alessandro; Fiorini, Paolo | |
| Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees | 1-gen-2024 | Marzari, Luca; Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro; Cicalese, Ferdinando | |
| Exploring Safer Behaviors for Deep Reinforcement Learning | 1-gen-2022 | Marchesini, Enrico; Corsi, Davide; Farinelli, Alessandro | |
| Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning | 1-gen-2021 | Corsi, Davide; Marchesini, Enrico; Farinelli, Alessandro | |
| Gestural Interaction and Navigation Techniques for Virtual Museum Experiences | 1-gen-2016 | Caputo, Fabio Marco; Ciortan, IRINA-MIHAELA; Corsi, Davide; Marco De Stefani, ; Giachetti, Andrea | |
| Safe and Efficient Reinforcement Learning for Environmental Monitoring | 1-gen-2023 | Bianchi, Federico; Corsi, Davide; Marzari, Luca; Meli, Daniele; Trotti, Francesco; Zuccotto, Maddalena; Castellini, Alberto; Farinelli, Alessandro | |
| Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery | 1-gen-2021 | Pore, Ameya; Corsi, Davide; Marchesini, Enrico; Dall'Alba, Diego; Casals, Alicia; Farinelli, Alessandro; Fiorini, Paolo | |
| The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks | 1-gen-2023 | Marzari, Luca; Corsi, Davide; Cicalese, Ferdinando; Farinelli, Alessandro |