TY  - RPRT
TI  - Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery
AU  - Ameya Pore
AU  - Davide Corsi
AU  - Enrico Marchesini
AU  - Diego Dall'Alba
AU  - Alicia Casals
AU  - Alessandro Farinelli
AU  - Paolo Fiorini
PY  - 2021
UR  - https://arxiv.org/abs/2109.02323
ID  - 2109.02323
ER  -