Verification of Multi-agent Negotiations Using the Alloy Analyzer.
Rodion M. PodorozhnySarfraz KhurshidDewayne E. PerryXiaoqin ZhangPublished in: IFM (2007)
Keyphrases
- multi agent
- software agents
- multi agent systems
- intelligent agents
- reinforcement learning
- single agent
- cooperative
- multiagent systems
- model checking
- verification method
- multiple agents
- multi issue
- face verification
- signature verification
- agent oriented
- coalition formation
- traffic signal control
- heterogeneous agents
- team formation
- negotiation mechanism
- database
- mechanical properties
- asynchronous circuits
- formal analysis
- formal methods
- autonomous agents
- data sets