Automatic verification of parameterised multi-agent systems.
Panagiotis KouvarosAlessio LomuscioPublished in: AAMAS (2013)
Keyphrases
- multi agent systems
- cooperative
- multi agent
- intelligent agents
- autonomous agents
- game theory
- agent platform
- agent systems
- coalition formation
- agent architecture
- software agents
- multi agent environment
- databases
- agent based systems
- computational logic
- multi agent reinforcement learning
- multiagent environments
- agent oriented
- single agent
- computer vision
- agent based modeling
- distributed problem solving
- agent technology
- trust model
- neural network
- database