Paper Info
Title
Dynamic Verification Of Hierarchical Multi-Agent Plans
Abstract
Planning agents evolving in dynamic and complex environments need to continually plan their tasks and to monitor the evolution of its execution in order to deal with unexpected situations. To face this challenge, we proposed, in previous works, HPINet (Hierarchical-Task-Petri-Net) and SHPINet (HPINet with synchronization), models that can be used to represent plans less sensitive to execution contexts, and that support automatic verification. In this paper, we aim to propose computational techniques to verify some keys properties, such as soundness, of executing partial plans by analyzing their abstract level of representation. We especially focus on the some theorems and their corresponding proofs about the soundness of plan.
Year
DOI
Venue
2017
10.3233/MGS-170264
MULTIAGENT AND GRID SYSTEMS
Keywords
Field
DocType
Multi-agent plan verification, Petri net, plans analysis, automating planning, planning and execution interleaving
Computer science,Distributed computing
Journal
Volume
Issue
ISSN
13
2
1574-1702
Citations 
PageRank 
References 
1
0.35
7
Authors
3
Name
Order
Citations
PageRank
Said Brahimi172.21
Ramdane Maamri25627.79
Zaïdi Sahnoun3269.08