Lucas A. Ramos Mendes, Carolina Silva Costa, Eduardo C. Barros Freitas (Author) Verifiable ROS2 Navigation Execution with Runtime Contracts under Dynamic Obstacle Uncertainty PDF
