Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation.

Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba

Browse the full IROS paper archive.