S. Abramsky and V. Winschel, Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting, Mathematical Structures in Computer Science, vol.62, 2012.

T. Brihaye, V. Bruyère, J. D. Pril, and H. Gimbert, Subgame Perfection for Equilibria in Quantitative Reachability Games, Logical Methods in Computer Science, vol.9, 2012.

T. Brihaye, V. Bruyère, N. Meunier, and J. Raskin, Weak subgame perfect equilibria and their application to quantitative reachability, 2015.

J. , R. Büchi, and L. H. Landweber, Solving sequential conditions by finite-state strategies. Transactions of the, pp.295-311, 1969.

M. Escardó and P. Oliva, Selection functions, bar recursion and backward induction, Mathematical Structures in Computer Science, vol.23, issue.02, pp.127-168

J. Flesch, J. Kuipers, A. Mashiah-yaakovi, G. Schoenmakers, E. Solan et al., Perfect-Information Games with Lower-Semicontinuous Payoffs, Mathematics of Operations Research, vol.35, issue.4, p.742755, 2010.

J. Flesch, J. Kuipers, A. Mashiah-yaakovi, G. Schoenmakers, E. Shmaya et al., Non-existence of subgame-perfect $$\varepsilon$$ ?? -equilibrium in perfect information games with infinite horizon, International Journal of Game Theory, vol.39, issue.4, pp.945-951, 2014.

D. Fudenberg and D. Levine, Subgame-perfect equilibria of finite- and infinite-horizon games, Journal of Economic Theory, vol.31, issue.2, pp.251-268, 1983.

D. Gale and F. M. Stewart, 13. Infinite Games with Perfect Information, Annals of Math. Studies, vol.28, pp.245-266, 1953.

H. Gimbert and W. Law-zielonka, Games Where You Can Play Optimally Without Any Memory, CONCUR 2005 -Concurrency Theory, pp.428-442, 2005.

A. S. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics, vol.156, 1995.

W. Harold and . Kuhn, Extensive games and the problem of information, Contributions to the Theory of Games II, 1953.

R. Stéphane-le, Acyclic preferences and existence of sequential Nash equilibria: a formal and constructive equivalence, TPHOLs, International Conference on Theorem Proving in Higher Order Logics, pp.293-309, 2009.

R. Stéphane-le, Infinite sequential Nash equilibrium Special Issue for the Conference, Logical Methods in Computer Science Computability and Complexity in Analysis, vol.9, 2013.

R. Stéphane-le, From winning strategy to Nash equilibrium, Mathematical Logic Quarterly, 2014.

S. Le, R. , and A. Pauly, Infinite sequential games with real-valued payoffs, Proceedings of LiCS, 2014.

S. Le, R. , and A. Pauly, Weihrauch degrees of finding equilibria in sequential games, Proceedings of CiE 2015, p.2015

P. Lescanne and M. Perrinel, ???Backward??? coinduction, Nash equilibrium and the rationality of escalation, Acta Informatica, vol.97, issue.1, pp.117-137, 2012.

A. Donald and . Martin, Borel determinacy, Annals of Mathematics, vol.102, pp.363-371, 1975.

A. Donald and . Martin, An extension of Borel determinacy, Annals of Pure and Applied Logic, vol.49, pp.279-293, 1990.

J. Mertens, Repeated games, Proceedings of the international congress of mathematicians, pp.1528-1577, 1987.

R. Purves and W. Sudderth, Perfect Information Games with Upper Semicontinuous Payoffs, Mathematics of Operations Research, vol.36, issue.3, p.468473, 2011.

R. Selten, Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit . Zeitschrift für die desamte Staatswissenschaft, 1965.

J. , M. Smith, and G. R. Price, The logic of animal conflicts, Nature, vol.246, pp.15-18, 1973.

E. Solan and N. Vieille, Deterministic multi-player Dynkin games, Journal of Mathematical Economics, vol.39, issue.8, pp.911-929, 2003.

M. Ummels, Rational Behaviour and Strategy Construction in Infinite Multiplayer Games, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, pp.212-223, 2006.

P. Wolfe, The strict determinateness of certain infinite game, Pacific Journal of Mathematics, vol.5, issue.5, pp.841-847, 1955.