How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?

Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E

In KEPS-10. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling, Toronto, Canada, May, 2010