Home /Research /Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)
OTHER

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

Fernando S. Barbosa, Jesper Karlsson, Pouria Tajvar, Jana Tůmová

Year
2021
Citations
3

Keywords

Computer scienceRobotMotion (physics)Motion planningSpace (punctuation)Artificial intelligenceComputer visionHuman–computer interactionOperating system

Related papers

Browse all OTHER papers