Conducting Verification And Validation Of Multi-Agent Systems
A. Al-NeaimiS. QatawnehNedhal Al SaiydPublished in: CoRR (2012)
Keyphrases
- multi agent systems
- multi agent
- model checking
- bounded model checking
- coalition formation
- agent systems
- agent architecture
- intelligent agents
- autonomous agents
- agent technology
- formal verification
- agent oriented
- multi agent environment
- face verification
- game theory
- cooperative
- small scale
- formal methods
- formal analysis
- verification method
- software agents
- computational logic
- model validation
- multi agent reinforcement learning
- learning algorithm
- fingerprint verification
- signature verification
- reinforcement learning
- single agent
- neural network
- trust model
- search algorithm