Programming and Verifying Subgame Perfect Mechanisms

Marc Pauly

An extension of the WHILE-language is developed for programming game-theoretic mechanisms involving multiple agents. Examples of such mechanisms include auctions, voting procedures…