CORSI, DAVIDE
CORSI, DAVIDE
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.005 secondi).
Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation
2021-01-01 Marchesini, Enrico; Corsi, Davide; Farinelli, Alessandro
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
Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning
2021-01-01 Corsi, Davide; Marchesini, Enrico; 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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation | 1-gen-2021 | Marchesini, Enrico; Corsi, Davide; Farinelli, Alessandro | |
| 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 | |
| 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 |