Module checking of pushdown multi-agent systems.
Laura BozzelliAniello MuranoAdriano PeronPublished in: CoRR (2020)
Keyphrases
- multi agent systems
- cooperative
- model checking
- verification method
- multi agent
- intelligent agents
- agent architecture
- game theory
- coalition formation
- autonomous agents
- multi agent environment
- consistency checking
- agent oriented
- agent systems
- software agents
- multiagent systems
- genetic algorithm
- data sets
- multi agent reinforcement learning
- inter agent
- single agent
- software development
- website
- databases