TY - CONF AU - Cesta, Amedeo AU - Finzi, Alberto AU - Fratini, Simone AU - Orlandini, Andrea AU - Tronci, Enrico PY - 2009 DA - 2009// TI - Verifying Flexible Timeline-based Plans BT - E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems AB - 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. L1 - http://mclab.di.uniroma1.it/publications/papers/papers/Cesta2009b.pdf N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=23), last updated on Thu, 22 Nov 2012 14:59:18 +0100 ID - Cesta_etal2009 ER -