Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems.
Qin LiGraeme SmithPublished in: ICECCS (2013)
Keyphrases
- multi agent systems
- game theory
- cooperative
- multi agent
- resource allocation
- autonomous agents
- agent technology
- coalition formation
- intelligent agents
- agent systems
- distributed problem solving
- agent architecture
- asynchronous circuits
- agent oriented
- state machines
- complex systems
- search algorithm
- partially ordered
- single agent
- fair exchange