Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
Hofmann, Till; Lakemeyer, Gerhard
(2020)
Poster
In: 17. International Conference on Principles of Knowledge Representation and Reasoning online 2020-09-12 - 2020-09-18
Institutions
- UnRAVeL Research Training Group [080060]
- Department of Computer Science [120000]
- Computer Science 5 (Knowledge-Based Systems Group) [121920]
Identifier
- RWTH PUBLICATIONS: RWTH-CONV-243049