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

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

6 September 2021

Enrico Marchesini

Diego DallÁlba

Alessandro Farinelli

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

16 / 16 papers shown

Title
FF-SRL: High Performance GPU-Based Surgical Simulation For Robot Learning Diego DallÁlba Michał Nasket Sabina Kaminska Przemysław Korzeniowski OffRL AI4CE 67 1 0 24 Mar 2025
Diffusion Stabilizer Policy for Automated Surgical Robot Manipulations Chonlam Ho Jianshu Hu Haoran Wang Qi Dou Yutong Ban MedIm 82 1 0 03 Mar 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 84 6 0 17 Feb 2025
Enhancing Safety in Reinforcement Learning with Human Feedback via Rectified Policy Optimization Xiyue Peng Hengquan Guo Jiawei Zhang Dongqing Zou Ziyu Shao Honghao Wei Xin Liu 47 0 0 25 Oct 2024
From Decision to Action in Surgical Autonomy: Multi-Modal Large Language Models for Robot-Assisted Blood Suction Sadra Zargarzadeh Maryam Mirzaei Yafei Ou Mahdi Tavakoli 45 2 0 14 Aug 2024
Sim-To-Real Transfer for Visual Reinforcement Learning of Deformable Object Manipulation for Robot-Assisted Surgery Paul Maria Scheikl E. Tagliabue B. Gyenes M. Wagner Diego DallÁlba Paolo Fiorini Franziska Mathis-Ullrich MedIm 46 47 0 10 Jun 2024
DefGoalNet: Contextual Goal Learning from Demonstrations For Deformable Object Manipulation Bao Thach Tanner Watts S. Ho Tucker Hermans Alan Kuntz 36 0 0 25 Sep 2023
DeformerNet: Learning Bimanual Manipulation of 3D Deformable Objects Bao Thach Brian Y. Cho Shing-Hei Ho Tucker Hermans Alan Kuntz 28 4 0 08 May 2023
Autonomous Navigation for Robot-assisted Intraluminal and Endovascular Procedures: A Systematic Review Ameya Pore Zhen Li Diego DallÁlba A. Hernansanz Elena De Momi A. Menciassi Alicia Casals Gelpí J. Dankelman Paolo Fiorini E. V. Poorten 26 29 0 06 May 2023
Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation Davide Corsi Luca Marzari Ameya Pore Alessandro Farinelli A. Casals Paolo Fiorini Diego DallÁlba 29 9 0 06 Mar 2023
Demonstration-Guided Reinforcement Learning with Efficient Exploration for Task Automation of Surgical Robot Tao Huang Kai-xiang Chen Bin Li Yunhui Liu Qingxu Dou 40 23 0 20 Feb 2023
Human-in-the-loop Embodied Intelligence with Interactive Simulation Environment for Surgical Robot Learning Yonghao Long Wang Wei Tao Huang Yuehao Wang Qingxu Dou 52 32 0 01 Jan 2023
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 34 19 0 20 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 94 37 0 26 May 2022
Learning Visual Shape Control of Novel 3D Deformable Objects from Partial-View Point Clouds Bao Thach Brian Y. Cho Alan Kuntz Tucker Hermans 3DPC 10 30 0 10 Oct 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017