A Logic for Specifying Metric Temporal Constraints for Golog Programs

Tempe, AZ, USA (2018) [Contribution to a conference proceedings]

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

Authors

Authors

Hofmann, Till
Lakemeyer, Gerhard

Identifier

  • REPORT NUMBER: RWTH-CONV-242214