A Tool Environment for Specifying and Verifying Multi-agent Systems.
Christian SchwarzAmmar MohammedFrieder StolzenburgPublished in: ICAART (2) (2010)
Keyphrases
- multi agent systems
- autonomous agents
- web environment
- multiagent environments
- multi agent environments
- agent interactions
- multi agent
- virtual world
- dynamic environments
- cooperative
- real time
- complex systems
- model checking
- software development
- environmental conditions
- software engineering
- user interface
- distributed problem solving