Keyphrases
- multi agent systems
- multi agent
- autonomous agents
- recent advances
- model checking
- agent architecture
- coalition formation
- artificial intelligence
- cooperative
- intelligent agents
- agent systems
- multi agent reinforcement learning
- formal verification
- signature verification
- recent developments
- distributed problem solving
- lecture notes in artificial intelligence
- database
- multi agent environment
- verification method
- bounded model checking
- game theory
- asynchronous circuits
- distributed search
- software agents
- website
- data sets