Computing Nash Equilibria of Unbounded Games

Autor: Paulo Oliva, Martín Hötzel Escardó
Rok vydání: 2018
Předmět:
Zdroj: Turing-100
ISSN: 2398-7340
Popis: Using techniques from higher-type computability theory and proof theory we extend the well-known game-theoretic technique of backward induction to finite games of unbounded length. The main application is a closed formula for calculating strategy profiles in Nash equilibrium and subgame perfect equilibrium even in the case of games where the length of play is not a-priori fixed.
Databáze: OpenAIRE