Verification & Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) Approach.
Muaz A. NiaziAmir HussainMario KolbergPublished in: MALLOW (2009)
Keyphrases
- agent based simulations
- multi agent
- multi agent systems
- cooperative
- electronic institutions
- virtual environment
- software agents
- distributed multi agent systems
- formal verification
- model checking
- virtual reality
- face verification
- virtual world
- autonomous agents
- intelligent agents
- agent architecture
- verification method
- multiagent systems
- agent technology
- inter organizational
- agent systems
- fine grained
- query processing
- decision making