Pnueli, A., Rosner, R., On the synthesis of a reactive module. POPL, 1989, ACM Press, 179–190.
Nash, J.F., Equilibrium points in n-person games. PNAS, vol. 36, 1950, National Academy of Sciences, 48–49.
Rubinstein, A., Comments on the interpretation of game theory. Econometrica 59 (1991), 909–924.
Selten, R., Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit. Z. Gesamte Staatswiss. 121 (1965), 301–324 pp. 667–689.
Bruyère, V., Computer aided synthesis: a game-theoretic approach. DLT 2017 Lecture Notes in Computer Science, vol. 10396, 2017, 3–35.
Brihaye, T., Bruyère, V., Meunier, N., Raskin, J., Weak subgame perfect equilibria and their application to quantitative reachability. CSL LIPIcs, vol. 41, 2015, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 504–518.
Kuhn, H., Extensive games and the problem of information. Classics in Game Theory, 1953, 46–68.
Solan, E., Vieille, N., Deterministic multi-player Dynkin games. J. Math. Econ. 39 (2003), 911–929.
Flesch, J., Kuipers, J., Mashiah-Yaakovi, A., Schoenmakers, G., Solan, E., Vrieze, K., Perfect-information games with lower-semicontinuous payoffs. Math. Oper. Res. 35 (2010), 742–755.
Shen, X., Yu, H., Buford, J., Akon, M., Handbook of Peer-to-Peer Networking. 2010, Springer.
Le Roux, S., Pauly, A., Infinite sequential games with real-valued payoffs. CSL-LICS, 2014, ACM, 62.
Fudenberg, D., Levine, D., Subgame-perfect equilibria of finite- and infinite-horizon games. J. Econ. Theory 31 (1983), 251–268.
Purves, R.A., Sudderth, W.D., Perfect information games with upper semicontinuous payoffs. Math. Oper. Res. 36:3 (2011), 468–473.
Flesch, J., Predtetchinski, A., A characterization of subgame perfect equilibrium plays in Borel games of perfect information. Math. Oper. Res. 42:4 (2017), 1162–1179.
Le Roux, S., Infinite subgame perfect equilibrium in the Hausdorff difference hierarchy. TTCS Lecture Notes in Computer Science, vol. 9541, 2015, Springer, 147–163.
Alós-Ferrer, C., Ritzberger, K., Does backwards induction imply subgame perfection?. Games Econ. Behav. 103 (2017), 19–29.
Brenguier, R., Clemente, L., Hunter, P., Pérez, G.A., Randour, M., Raskin, J., Sankur, O., Sassolas, M., Non-zero sum games for reactive synthesis. LATA Lecture Notes in Computer Science, vol. 9618, 2016, Springer, 3–23.
Ummels, M., Rational behaviour and strategy construction in infinite multiplayer games. FSTTCS Lecture Notes in Computer Science, vol. 4337, 2006, Springer, 212–223.
Chatterjee, K., Henzinger, T.A., Jurdzinski, M., Games with secure equilibria. Theor. Comput. Sci. 365 (2006), 67–82.
Chatterjee, K., Henzinger, T.A., Assume-guarantee synthesis. TACAS Lecture Notes in Computer Science, vol. 4424, 2007, Springer, 261–275.
De Pril, J., Flesch, J., Kuipers, J., Schoenmakers, G., Vrieze, K., Existence of secure equilibrium in multi-player games with perfect information. MFCS Lecture Notes in Computer Science, vol. 8635, 2014, Springer, 213–225.
Chatterjee, K., Doyen, L., Filiot, E., Raskin, J., Doomsday equilibria for omega-regular games. VMCAI Lecture Notes in Computer Science, vol. 8318, 2014, Springer, 78–97.
Berwanger, D., Admissibility in infinite games. STACS Lecture Notes in Computer Science, vol. 4393, 2007, Springer, 188–199.
Brenguier, R., Raskin, J., Sassolas, M., The complexity of admissibility in omega-regular games. CSL-LICS, 2014, ACM, 23.
Brenguier, R., Raskin, J., Sankur, O., Assume-admissible synthesis. CONCUR LIPIcs, vol. 42, 2015, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 100–113.
Kupferman, O., Perelli, G., Vardi, M.Y., Synthesis with rational environments. Ann. Math. Artif. Intell. 78:1 (2016), 3–20.
Bruyère, V., Le Roux, S., Pauly, A., Raskin, J.-F., On the existence of weak subgame perfect equilibria. FOSSACS Lecture Notes in Computer Science, vol. 10203, 2017, Springer, 145–161.
Grädel, E., Ummels, M., Solution concepts and algorithms for infinite multiplayer games. New Perspectives on Games and Interaction, vol. 4, 2008, Amsterdam University Press, 151–178.
Grädel, E., Thomas, W., Wilke, T., (eds.) Automata, Logics, and Infinite Games: a Guide to Current Research Lecture Notes in Computer Science, vol. 2500, 2002, Springer.