Enrique Martin-Martin, Manuel Montenegro, Adrián Riesco 0001, Juan Rodríguez-Hortalá, Rubén Rubio. Verification of the ROS NavFn planner using executable specification languages. J. Log. Algebr. Meth. Program., 132:100860, April 2023. [doi]
Abstract is missing.