@misc{indiciae430d5300d5ac,
  title = {Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery},
  author = {Ameya Pore and Davide Corsi and Enrico Marchesini and Diego Dall'Alba and Alicia Casals and Alessandro Farinelli and Paolo Fiorini},
  year = {2021},
  url = {https://arxiv.org/abs/2109.02323},
  note = {Source identifier: 2109.02323}
}