An imperative language for task-level planning: Definition in temporal logic

Éric Rutten, Lionel Marcé. An imperative language for task-level planning: Definition in temporal logic. AI in Engineering, 8(4):235-251, 1993. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: