Hierarchical task allocation for multi-agent systems encoded by stochastic reachability specifications.
Nikolaos KariotoglouSean SummersDavide Martino RaimondoPublished in: ECC (2013)
Keyphrases
- multi agent systems
- coalition formation
- autonomous agents
- multi agent
- bounded model checking
- intelligent agents
- game theory
- cooperative
- software agents
- state space
- agent systems
- agent platform
- hierarchical clustering
- coarse to fine
- agent oriented
- agent architecture
- delay insensitive
- multiagent systems
- agent technology
- formal specification
- single agent
- trust model
- data sets
- operational semantics
- reactive systems
- computational logic
- multi robot
- normative systems
- high level