Truthfulness Flooded Domains and the Power of Verification for Mechanism Design.
Dimitris FotakisEmmanouil ZampetakisPublished in: WINE (2013)
Keyphrases
- mechanism design
- game theory
- incomplete information
- cooperative game theory
- multiagent planning
- incentive compatible
- prediction markets
- moral hazard
- combinatorial auctions
- auction mechanisms
- social welfare
- model checking
- double auction
- genetic algorithm
- mobile robot
- approximately optimal
- expert systems
- artificial intelligence