Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.

Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer

Browse the full IJCAI paper archive.