Compositional Verification of a Multi-Agent System for One-to-Many Negotiation.
Frances M. T. BrazierFrank CornelissenRune GustavssonCatholijn M. JonkerOlle LindebergBianca PolakJan TreurPublished in: Appl. Intell. (2004)
Keyphrases
- cooperative
- multi agent
- multi agent systems
- model checking
- negotiation support systems
- supply chain coordination
- electronic commerce
- multi agent coordination
- concurrent systems
- software agents
- face verification
- real time
- joint action
- negotiation model
- electronic markets
- multi issue negotiation
- verification method
- electronic marketplaces
- negotiation strategies
- genetic algorithm
- neural network
- data sets