Keyphrases
- multi agent systems
- model checking
- cooperative
- multi agent
- intelligent agents
- formal verification
- temporal logic
- verification method
- signature verification
- machine learning
- distributed multi agent systems
- agent architecture
- agent technology
- face verification
- formal analysis
- multiagent systems
- autonomous agents
- real world
- game theory
- software agents
- agent interactions
- social networks
- multiagent environments