@misc{indiciae67f857452e88,
  title = {Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation},
  author = {Davide Corsi and Luca Marzari and Ameya Pore and Alessandro Farinelli and Alicia Casals and Paolo Fiorini and Diego Dall'Alba},
  year = {2023},
  url = {https://arxiv.org/abs/2303.03207},
  note = {Source identifier: 2303.03207}
}