Davide Corsi, Luca Marzari, Ameya Pore, Alessandro Farinelli, Alicia Casals, Paolo Fiorini, Diego Dall'Alba. Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2023, Detroit, MI, USA, October 1-5, 2023. pages 10289-10294, IEEE, 2023. [doi]
Abstract is missing.