Computer-aided verification in mechanism design.
Gilles BartheMarco GaboardiEmilio Jesús Gallego AriasJustin HsuAaron RothPierre-Yves StrubPublished in: CoRR (2015)
Keyphrases
- computer aided
- mechanism design
- incomplete information
- game theory
- computer aided diagnosis
- multiagent planning
- auction mechanisms
- model checking
- cooperative game theory
- combinatorial auctions
- incentive compatible
- cad systems
- approximately optimal
- image analysis
- prediction markets
- capsule endoscopy
- diagnosis of breast cancer
- computer aided design
- double auction
- process planning
- design tools
- multi agent systems
- machine learning