An Approach for the Verification of Multi-agent Systems by Formally Guided Simulations.
Paulo Salem da SilvaAna Cristina Vieira de MeloPublished in: IAT (2013)
Keyphrases
- multi agent systems
- agent based modeling
- model checking
- verification method
- autonomous agents
- agent systems
- multi agent
- cooperative
- face verification
- computational logic
- agent architecture
- bounded model checking
- concurrent systems
- multi agent reinforcement learning
- data sets
- game theory
- machine learning
- neural network
- agent technology
- coalition formation
- simulation model
- temporal logic
- agent oriented
- signature verification
- formal verification
- resource allocation
- intelligent agents
- artificial intelligence