Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
Hofmann, Till (Corresponding author); Lakemeyer, Gerhard (Corresponding author)
(2021)
Preprint
Einrichtungen
- Graduiertenkolleg UnRAVeL [080060]
- Fachgruppe Informatik [120000]
- Lehr- und Forschungsgebiet Informatik 5 (Wissensbasierte Systeme) [121920]
Identifikationsnummern
- DOI: 10.18154/RWTH-2021-02072
- arXiv: arXiv:2102.09837
- RWTH PUBLICATIONS: RWTH-2021-02072