Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation
专题命中 具身导航 :navigation(title,abstract);robotic(abstract);分类 cs.RO
Comments Accepted in the IEEE International Conference on Intelligent Robots and Systems (IROS), 2023. [Corsi, Marzari and Pore contributed equally]