Davide Corsi

Local Effects of Atherosclerotic Plaque on Arterial Distensibility

Cristina Giannattasio, Monica Failla, G Emanuelli et al. · Hypertension · 2001 · 76 citations

Medicine, Cardiology, Clinical Cardiology +13

Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery

Ameya Pore, Davide Corsi, Enrico Marchesini et al. · 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 2021 · 38 citations · Full text

Engineering, Computer Science, Surgery +17

Exploring Safer Behaviors for Deep Reinforcement Learning

Enrico Marchesini, Davide Corsi, Alessandro Farinelli · Proceedings of the AAAI Conference on Artificial Intelligence · 2022 · 27 citations · Full text

Computing, Computer Science, Algorithms +11

Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation

Davide Corsi, Enrico Marchesini, Alessandro Farinelli et al. · 2020 · 18 citations

Computing, Robotics Engineering, Machine Learning +14

Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation

Enrico Marchesini, Davide Corsi, Alessandro Farinelli · 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) · 2021 · 14 citations

Engineering, Computer Science, Robotics Engineering +15