@InProceedings{Cesta_etal2009, author="Cesta, Amedeo and Finzi, Alberto and Fratini, Simone and Orlandini, Andrea and Tronci, Enrico", title="Verifying Flexible Timeline-based Plans", booktitle="E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems", year="2009", abstract="The synthesis of flexible temporal plans has demonstrated wide applications possibilities in heterogeneous domains. We are currently studying the connection between plan generation and execution from the particular perspective of verifying a flexible plan before actual execution. This paper explores how a model-checking verification tool, based on UPPAAL-TIGA, is suitable for verifying flexible temporal plans. We first describe the formal model, the formalism, and the verification method. Furthermore we discuss our own approach and some preliminary empirical results using a real-world case study.", optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=23), last updated on Thu, 22 Nov 2012 14:59:18 +0100", file=":http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009b.pdf:PDF" }