October 2023

  • Presented our paper on safe-RL at IROS2023 in Detroit. Also had a chance to visit the Ford museums in Detroit and the manufacturing plants.

August 2023

July 2023

  • Our paper “Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation” has been accepted at IROS 2023.

June 2023

May 2023

  • Our review article “Autonomous Navigation for Robot-Assisted Intraluminal and Endovascular Procedures: A Systematic Review” has been accepted at T-RO 2023. Thanks to the ATLAS consortium for the collaborative effort.