Tarik Viehmann

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints

Task planning for mobile robots typically uses an abstract planning domain that ignores the low-level details of the specific robot platform. Therefore, executing a plan on an actual robot often requires additional steps to deal with the specifics of the robot platform. Such a platform can be mo…