The Power of Verification for Greedy Mechanism Design.
Dimitris FotakisPiotr KrystaCarmine VentrePublished in: J. Artif. Intell. Res. (2018)
Keyphrases
- mechanism design
- game theory
- incomplete information
- multiagent planning
- incentive compatible
- auction mechanisms
- cooperative game theory
- greedy algorithm
- combinatorial auctions
- dynamic programming
- approximately optimal
- search algorithm
- prediction markets
- moral hazard
- model checking
- state space
- meeting scheduling
- multi attribute
- greedy algorithms
- resource allocation
- supply chain
- expert systems
- cooperative
- knowledge base
- genetic algorithm