Verification of the ROS NavFn planner using executable specification languages
Revue:
Journal of Logical and Algebraic Methods in Programming
ISSN: 2352-2216, 2352-2208
Année de publication: 2023
Volumen: 132
Type: Article