The Power of Verification for Greedy Mechanism Design.
Dimitris FotakisPiotr KrystaCarmine VentrePublished in: AAMAS (2015)
Keyphrases
- mechanism design
- incomplete information
- game theory
- multiagent planning
- search algorithm
- approximately optimal
- auction mechanisms
- greedy algorithm
- prediction markets
- cooperative game theory
- dynamic programming
- model checking
- combinatorial auctions
- incentive compatible
- moral hazard
- social welfare
- optimization problems
- double auction
- special case
- search space
- computational complexity
- genetic algorithm