Automatic Verification of Parameterised Interleaved Multi-Agent Systems
Panagiotis KouvarosAlessio LomuscioPublished in: CoRR (2013)
Keyphrases
- multi agent systems
- multi agent
- cooperative
- agent architecture
- intelligent agents
- multi agent environment
- multiagent environments
- agent platform
- distributed problem solving
- coalition formation
- game theory
- agent systems
- autonomous agents
- computational logic
- agents and multi agent systems
- agent technology
- software agents
- agent oriented
- agent based systems
- multiagent systems
- electronic commerce
- real time