2 papers
cs.RO2021
Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery
Ameya Pore, Davide Corsi, Enrico Marchesini +4
Deep Reinforcement Learning (DRL) is a viable solution for automating repetitive surgical subtasks due to its ability to learn complex behaviours in a dynamic environment. This tas…
cs.AI2020
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification
Davide Corsi, Enrico Marchesini, Alessandro Farinelli
Groundbreaking successes have been achieved by Deep Reinforcement Learning (DRL) in solving practical decision-making problems. Robotics, in particular, can involve high-cost hardw…