Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints

Viehmann, Tarik (Corresponding author); Hofmann, Till (Corresponding author); Lakemeyer, Gerhard (Corresponding author)

Erscheinungsort nicht ermittelbar] : International Joint Conferences on Artificial Intelligence (2021)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21) / edited by Prof. Zhi-Hua Zhou ; sponsored by International Joint Conferences on Artifical Intelligence (IJCAI)
Page(s)/Article-Nr.: 2083-2089


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Computer Science 5 (Knowledge-Based Systems Group) [121920]