Robust Motion Planning for Non-holonomic Robots with Planar Geometric Constraints

von Tajvar, Pouria
Veröffentlicht in Robotics research (2022)

Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)

von Barbosa, Fernando S.
Veröffentlicht in FORMATS (19. : 2021 : Online) Formal Modeling and Analysis of Timed Systems (2021)