CORSI, DAVIDE

CORSI, DAVIDE  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.013 secondi).
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
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 Deep Reinforcement Learning: Enhancing the Reliability of Intelligent Systems 1-gen-2023 Corsi, Davide
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