On the Verification of Cooperating Traffic Agents.
Werner DammHardi HungarErnst-Rüdiger OlderogPublished in: FMCO (2003)
Keyphrases
- cooperative
- multi agent systems
- multi agent
- multiagent systems
- autonomous agents
- intelligent agents
- software agents
- mobile agents
- exchange information
- distributed artificial intelligence
- agent architecture
- agent based simulation
- model checking
- agent technology
- distributed agents
- multiple agents
- agent model
- incomplete information
- network traffic
- resource allocation
- real time
- coalition formation
- internet traffic
- decision theoretic
- learning agents
- traffic flow
- dynamic environments
- privacy preserving
- agent systems
- interacting agents
- traffic management
- action selection
- game theoretic
- modal logic
- trust model