A Temporal Logic-Based Planning and Execution Monitoring System.

Jonas Kvarnström Fredrik Heintz Patrick Doherty A Temporal Logic-Based Planning and Execution Monitoring System. 198-205 2008 ICAPS conf/aips/2008 db/conf/aips/icaps2008.html#KvarnstromHD08