Verifying Flexible Timeline-Based Plans

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

In VVPS-09. Workshop on Verification and Validation of Planning and Scheduling Systems at ICAPS, Thessaloniki, Greece, September, 2009