Mechanism design: from partial to probabilistic verification.

Ioannis Caragiannis Edith Elkind Mario Szegedy Lan Yu

Published in: EC (2012)

Keyphrases

mechanism design
game theory
incomplete information
multiagent planning
approximately optimal
incentive compatible
combinatorial auctions
auction mechanisms
model checking
cooperative game theory
knowledge base
game theoretic
decision theory
social welfare
prediction markets