Flexible Timeline-Based Plan Verification

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

In B. Mertsching, M. Hund, M. Zaheer Aziz (Eds.): KI 2009. Advances in Artificial Intelligence. Lecture Notes in Computer Science 5803. pp. 49-56. Springer, 2009