Skip to content

A Logic for Specifying Metric Temporal Constraints for Golog Programs.

Till Hofmann, Gerhard Lakemeyer

VenueA*KR
Year2018
ProceedingsCogRob@KR

Browse the full KR paper archive.