Validation and Verification Issues in a Timeline-based Planning System

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

In KEPS-08. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling, Sidney, Australia, 2008