Multiagent Planning by Plan Set Intersection and Plan Verification

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F15%3A00225403" target="_blank" >RIV/68407700:21230/15:00225403 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Multiagent Planning by Plan Set Intersection and Plan Verification
Original language description
Multiagent planning is a coordination technique used for deliberative acting of a team of agents. One of vital planning techniques uses declarative description of agents? plans based on Finite State Machines and their later coordination by intersection of such machines with successive verification of the resulting joint plans. In this work, we firstly propose to use projections of agents? actions directly for multiagent planning based on iterative building of a coordinated multiagent plan. Secondly, wedescribe integration of the static analysis provided by process calculi type systems for approximate verification of exchanged local plans. Finally, we compare our approach with current state-of-the-art planner on an extensive benchmark set.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA13-22125S" target="_blank" >GA13-22125S: Deterministic Domain-independent Multi-agent Planning</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings of the International Conference on Agents and Artificial Ontelligence - volume 2
ISBN
978-989-758-074-1
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
173-182
Publisher name
SciTePress - Science and Technology Publications
Place of publication
Porto
Event location
Lisbon
Event date
Jan 10, 2015
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)