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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ameya Pore, Davide Corsi, Enrico Marchesini, Diego Dall’Alba, Alicia Casals, Alessandro Farinelli, Paolo Fiorini

Journal title: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)

Journal publisher: IEEE

Published year: 2021

DOI identifier: 10.1109/iros51168.2021.9636175

ISBN: 978-1-6654-1714-3