A Logic for Specifying Metric Temporal Constraints for Golog Programs

Tempe, AZ, USA (2018) [Beitrag zu einem Tagungsband]

Proceedings of the 11th Cognitive Robotics Workshop 2018 (CogRob)

Autorinnen und Autoren

Autorinnen und Autoren

Hofmann, Till
Lakemeyer, Gerhard

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-242214