Flexible timeline-based plan verification

Authors:
A. Cesta;A. Finzi;S. Fratini;A. Orlandini;E. Tronci
Affiliations:
ISTC, CNR, Rome, Italy;DSF, "Federico II" University, Naples, Italy;ISTC, CNR, Rome, Italy;DIA, "Roma TRE" University, Rome, Italy;DI, "La Sapienza" University, Rome, Italy
Venue:
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Year:
2009

Citing 4
Cited 3

A theory of timed automata

Theoretical Computer Science
Temporal dynamic controllability revisited

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Dynamic control of plans with temporal uncertainty

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
UPPAAL-Tiga: time for playing games!

CAV'07 Proceedings of the 19th international conference on Computer aided verification

Analyzing Flexible Timeline-based Plans

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Flexible Plan Verification: Feasibility Results

Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Controllers with minimal observation power (application to timed systems)

ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis

Quantified Score

Hi-index	0.00

Visualization

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.