Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation | Publicación