Module Checking of Pushdown Multi-agent Systems.
Laura BozzelliAniello MuranoAdriano PeronPublished in: KR (2020)
Keyphrases
- multi agent systems
- multi agent
- agent platform
- verification method
- cooperative
- agent systems
- single agent
- coalition formation
- game theory
- agent architecture
- distributed problem solving
- model checking
- intelligent agents
- software agents
- multi agent reinforcement learning
- data sets
- agent technology
- distributed systems
- search algorithm
- consistency checking
- cognitive agents
- case study
- type checking
- knowledge base
- contract net protocol
- genetic algorithm