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.
Tipo Pubblicazione:
Contributo in atti di convegno
Publisher:
Springer Berlin / Heildelberg, Berlin, DEU
Source:
32nd Annual German Conference on AI (KI 2009), pp. 49–56, Paderborn, Germany, September 15-18, 2009
Date:
2009
Resource Identifier:
http://www.cnr.it/prodotto/i/93701
https://dx.doi.org/10.1007/978-3-642-04617-9_7
info:doi:10.1007/978-3-642-04617-9_7
http://link.springer.com/chapter/10.1007/978-3-642-04617-9_7
urn:isbn:978-3-642-04616-2
Language:
Eng