2 papers
cs.AI2022
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…
cs.AI2021
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
Till Hofmann, Gerhard Lakemeyer
Executing a Golog program on an actual robot typically requires additional steps to account for hardware or software details of the robot platform, which can be formulated as const…