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 before actual plan execution. © 2009 Springer Berlin Heidelberg.
Flexible timeline-based plan verification / A., Cesta; A., Finzi; S., Fratini; A., Orlandini; Tronci, Enrico. - 5803 LNAI:(2009), pp. 49-56. (Intervento presentato al convegno 32nd Annual German Conference on Artificial Intelligence, KI 2009 tenutosi a Paderborn nel 15 September 2009 through 18 September 2009) [10.1007/978-3-642-04617-9_7].
Flexible timeline-based plan verification
TRONCI, Enrico
2009
Abstract
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 before actual plan execution. © 2009 Springer Berlin Heidelberg.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
