TY  - RPRT
TI  - Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
AU  - Davide Corsi
AU  - Luca Marzari
AU  - Ameya Pore
AU  - Alessandro Farinelli
AU  - Alicia Casals
AU  - Paolo Fiorini
AU  - Diego Dall'Alba
PY  - 2023
UR  - https://arxiv.org/abs/2303.03207
ID  - 2303.03207
ER  -