An Automated Approach to Verifying Diagnosability in Multi-agent Systems.
Jonathan EzekielAlessio LomuscioPublished in: SEFM (2009)
Keyphrases
- multi agent systems
- discrete event systems
- discrete event
- complex systems
- fault diagnosis
- cooperative
- multi agent
- autonomous agents
- distributed problem solving
- model checking
- intelligent agents
- game theory
- agent architecture
- agent systems
- agents and multi agent systems
- distributed search
- global consistency
- coalition formation
- agent technology
- multi agent reinforcement learning
- computational logic
- software agents
- coalition logic
- agent oriented
- trust model
- simulation model
- multi agent learning
- multi agent environment
- agent platform