Controlling Golog Programs against MTL Constraints

Till Hofmann, Stefan Schupp

While Golog is an expressive programming language to control the high-level behavior of a robot, it is often tedious to use on a real robotic system. On an actual robot, the user n…