Dynamic verification of hierarchical multi-agent plans.

Said Brahimi Ramdane Maamri Zaïdi Sahnoun

Published in: Multiagent Grid Syst. (2017)

Keyphrases

multi agent
database
cooperative
case study
model checking
multiple agents
plan generation
data sets
information retrieval
artificial intelligence
clustering algorithm
reinforcement learning
multi agent systems
hierarchical structure
dynamically changing
multiagent environments