Flexible Timeline-Based Plan Verification [chapter]

A. Cesta, A. Finzi, S. Fratini, A. Orlandini, E. Tronci
2009 Lecture Notes in Computer Science  
Flexible temporal planning is a general technique that has demonstrated wide applications possibilities in heterogeneous domains. A key problem for widening applicability of these techniques is the robust connection between plan generation and execution. This paper describes how a model-checking verification tool, based on UPPAAL-TIGA, is suitable for verifying flexible temporal plans. Moreover, we further investigate a particular perspective, i.e., the one of verifying dynamic controllability
more » ... efore actual plan execution. Timeline-Based Planning and Execution Timeline-based planning is an approach to temporal planning [9] where the generated plans are represented by sets of timelines. Each timeline denotes the evolution of a
doi:10.1007/978-3-642-04617-9_7 fatcat:reltpodtnzbtrblbnurkcd76ra