Computer-Aided Verification for Mechanism Design.
Gilles BartheMarco GaboardiEmilio Jesús Gallego AriasJustin HsuAaron RothPierre-Yves StrubPublished in: WINE (2016)
Keyphrases
- computer aided
- mechanism design
- incomplete information
- game theory
- computer aided diagnosis
- multiagent planning
- approximately optimal
- cooperative game theory
- image analysis
- auction mechanisms
- model checking
- combinatorial auctions
- computer aided design
- incentive compatible
- process planning
- double auction
- pattern recognition
- prediction markets
- social choice
- capsule endoscopy
- cad systems
- object oriented
- diagnosis of breast cancer