Jonas Kvarnström, Fredrik Heintz, Patrick Doherty. A Temporal Logic-Based Planning and Execution Monitoring System. In Jussi Rintanen, Bernhard Nebel, J. Christopher Beck, Eric A. Hansen, editors, Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008. pages 198-205, AAAI, 2008.
Abstract is missing.