Complexity of verification of nondeterministic probabilistic multiagent systems.
Mars K. ValievMichael I. DekhtyarPublished in: Autom. Control. Comput. Sci. (2011)
Keyphrases
- multiagent systems
- multi agent
- autonomous agents
- distributed artificial intelligence
- coalition formation
- bayesian networks
- multiagent reinforcement learning
- multiagent architecture
- multiagent learning
- multiagent planning
- multi agent systems
- design methodologies
- model checking
- finite state
- open environments
- agent coordination
- cooperative
- robotic soccer
- learning in multi agent systems