Davide Corsi

关于

暂无简介。

研究焦点

主要成就

代表论文

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

   38 次引用 · 2021
2. 2
   Verifying Learning-Based Robotic Navigation Systems

   18 次引用 · 2023
3. 3
   Benchmarking Safe Deep Reinforcement Learning in Aquatic Navigation

   14 次引用 · 2021
4. 4
   Curriculum learning for safe mapless navigation

   13 次引用 · 2022
5. 5
   Formal Verification of Neural Networks for Safety-Critical Tasks in Deep Reinforcement Learning

   13 次引用 · 2021
6. 6
   Genetic Soft Updates for Policy Evolution in Deep Reinforcement Learning

   12 次引用 · 2021
7. 7
   Double Deep Q-Network for Trajectory Generation of a Commercial 7DOF Redundant Manipulator

   6 次引用 · 2019
8. 8
   Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation

   5 次引用 · 2023
9. 9
   Verifying Learning-Based Robotic Navigation Systems

   4 次引用 · 2022
10. 10
    Constrained Reinforcement Learning for Robotics via Scenario-Based Programming

    4 次引用 · 2022

主要合作者