Publications by the researcher in collaboration with JUAN RODRÍGUEZ HORTALÁ (1)

2023

  1. Verification of the ROS NavFn planner using executable specification languages

    Journal of Logical and Algebraic Methods in Programming, Vol. 132