@inproceedings(berwanger07,
 author       = {Dietmar Berwanger},
 year         = {2007},
 title        = {Admissibility in Infinite Games},
 booktitle    = {{STACS}},
 series       = {LNCS},
 volume       = {4393},
 publisher    = {Springer},
 pages        = {188--199},
 doi          = {10.1007/978-3-540-70918-3_17},
)
@article(BouyerBMU15,
 author       = {Patricia Bouyer and Romain Brenguier and Nicolas Markey and Michael Ummels},
 year         = {2015},
 title        = {Pure Nash Equilibria in Concurrent Deterministic Games},
 journal      = {Logical Methods in Computer Science},
 volume       = {11},
 number       = {2},
 doi          = {10.2168/LMCS-11(2:9)2015},
)
@inproceedings(BrenguierCHPRRS16,
 author       = {Romain Brenguier and Lorenzo Clemente and Paul Hunter and Guillermo~A. P{\'{e}}rez and Mickael Randour and Jean{-}Fran{\c{c}}ois Raskin and Ocan Sankur and Mathieu Sassolas},
 year         = {2016},
 title        = {Non-Zero Sum Games for Reactive Synthesis},
 booktitle    = {{LATA}},
 series       = {LNCS},
 volume       = {9618},
 publisher    = {Springer},
 pages        = {3--23},
 doi          = {10.1007/978-3-319-30000-9_1},
)
@inproceedings(BRS-concur15,
 author       = {Romain Brenguier and Jean-Fran{\c{c}}ois Raskin and Ocan Sankur},
 year         = {2015},
 title        = {{Assume-admissible synthesis}},
 booktitle    = {{CONCUR}},
 series       = {LIPIcs 42},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 pages        = {100--113},
 doi          = {10.1007/s00236-016-0273-2},
)
@inproceedings(BRS14,
 author       = {Romain Brenguier and Jean{-}Fran{\c{c}}ois Raskin and Mathieu Sassolas},
 year         = {2014},
 title        = {The complexity of admissibility in Omega-regular games},
 booktitle    = {{CSL-LICS}},
 publisher    = {{ACM}},
 pages        = {23:1--23:10},
 doi          = {10.1145/2603088.2603143},
)
@article(BrihayeBDG12,
 author       = {Thomas Brihaye and V{\'{e}}ronique Bruy{\`{e}}re and {De Pril}, Julie and Hugo Gimbert},
 year         = {2012},
 title        = {On Subgame Perfection in Quantitative Reachability Games},
 journal      = {Logical Methods in Computer Science},
 volume       = {9},
 doi          = {10.1007/978-3-642-28729-9_19},
)
@inproceedings(BrihayeBMR15,
 author       = {Thomas Brihaye and V{\'{e}}ronique Bruy{\`{e}}re and No{\'{e}}mie Meunier and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2015},
 title        = {Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability},
 booktitle    = {{CSL}},
 series       = {LIPIcs},
 volume       = {41},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {504--518},
 doi          = {10.4230/LIPIcs.CSL.2015.504},
)
@inproceedings(Bruyere17,
 author       = {V{\'{e}}ronique Bruy{\`{e}}re},
 year         = {2017},
 title        = {Computer Aided Synthesis: {A} Game-Theoretic Approach},
 booktitle    = {{DLT}},
 series       = {LNCS},
 volume       = {10396},
 publisher    = {Springer},
 pages        = {3--35},
 doi          = {10.1007/978-3-319-62809-7_1},
)
@article(BruyereHR17,
 author       = {V{\'{e}}ronique Bruy{\`{e}}re and Quentin Hautem and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2017},
 title        = {Games with lexicographically ordered {$\omega$}-regular objectives},
 journal      = {CoRR},
 volume       = {abs/1707.05968},
)
@inproceedings(BMR14,
 author       = {V{\'{e}}ronique Bruy{\`{e}}re and No{\'{e}}mie Meunier and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2014},
 title        = {Secure equilibria in weighted games},
 booktitle    = {{CSL-LICS}},
 publisher    = {{ACM}},
 pages        = {26:1--26:26},
 doi          = {10.1145/2603088.2603109},
)
@inproceedings(Bruyere0PR17,
 author       = {V{\'{e}}ronique Bruy{\`{e}}re and St{\'{e}}phane~Le Roux and Arno Pauly and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2017},
 title        = {On the Existence of Weak Subgame Perfect Equilibria},
 booktitle    = {{FOSSACS}},
 series       = {LNCS},
 volume       = {10203},
 pages        = {145--161},
 doi          = {10.1007/978-3-662-54458-7_9},
)
@article(KHJ06,
 author       = {K.~Chatterjee and T.~A. Henzinger and M.~Jurdzinski},
 year         = {2006},
 title        = {Games with secure equilibria},
 journal      = {Theoretical Computer Science},
 volume       = {365},
 pages        = {67--82},
 doi          = {10.1016/j.tcs.2006.07.032},
)
@inproceedings(ChatterjeeHP07,
 author       = {Krishnendu Chatterjee and Thomas~A. Henzinger and Nir Piterman},
 year         = {2007},
 title        = {Generalized Parity Games},
 booktitle    = {{FOSSACS}},
 series       = {LNCS},
 volume       = {4423},
 publisher    = {Springer},
 pages        = {153--167},
 doi          = {10.1007/978-3-540-71389-0_12},
)
@book(DowneyF99,
 author       = {Rodney~G. Downey and M.~R. Fellows},
 year         = {2012},
 title        = {Parameterized Complexity},
 publisher    = {Springer Publishing Company, Incorporated},
 doi          = {10.1007/978-1-4612-0515-9},
)
@article(EmersonL87,
 author       = {E.~Allen Emerson and Chin{-}Laung Lei},
 year         = {1987},
 title        = {Modalities for Model Checking: Branching Time Logic Strikes Back},
 journal      = {Science of Computer Programming},
 volume       = {8},
 number       = {3},
 pages        = {275--306},
 doi          = {10.1016/0167-6423(87)90036-0},
)
@inproceedings(FismanKL10,
 author       = {Dana Fisman and Orna Kupferman and Yoad Lustig},
 year         = {2010},
 title        = {Rational Synthesis},
 booktitle    = {TACAS},
 series       = {LNCS},
 volume       = {6015},
 publisher    = {Springer},
 pages        = {190--204},
 doi          = {10.1007/978-3-642-12002-2_16},
)
@article(FleschKMSSV10,
 author       = {J{\'{a}}nos Flesch and Jeroen Kuipers and Mashiah{-}Yaakovi, Ayala and Gijs Schoenmakers and Eilon Solan and Koos Vrieze},
 year         = {2010},
 title        = {Perfect-Information Games with Lower-Semicontinuous Payoffs},
 journal      = {Mathematics of Operation Research},
 volume       = {35},
 pages        = {742--755},
 doi          = {10.1287/moor.1100.0469},
)
@book(fudenberg1991game,
 author       = {D.~Fudenberg and J.~Tirole},
 year         = {1991},
 title        = {Game Theory},
 publisher    = {MIT Press},
)
@proceedings(2001automata,
 editor       = {Erich Gr{\"{a}}del and Wolfgang Thomas and Thomas Wilke},
 year         = {2002},
 title        = {Automata, Logics, and Infinite Games: {A} Guide to Current Research},
 series       = {LNCS},
 volume       = {2500},
 publisher    = {Springer},
 doi          = {10.1007/3-540-36387-4},
)
@inproceedings(GU08,
 author       = {Erich Gr{\"a}del and Michael Ummels},
 year         = {2008},
 title        = {{Solution Concepts and Algorithms for Infinite Multiplayer Games}},
 booktitle    = {{New Perspectives on Games and Interaction}},
 volume       = {4},
 publisher    = {Amsterdam University Press},
 pages        = {151--178},
)
@inproceedings(KupfermanPV14,
 author       = {Orna Kupferman and Giuseppe Perelli and Moshe~Y. Vardi},
 year         = {2014},
 title        = {Synthesis with Rational Environments},
 booktitle    = {{EUMAS}},
 series       = {LNCS 8953},
 publisher    = {Springer},
 pages        = {219--235},
 doi          = {10.1007/978-3-319-17130-2_15},
)
@inproceedings(nash50,
 author       = {J.~F. Nash},
 year         = {1950},
 title        = {Equilibrium points in $n$-person games},
 booktitle    = {PNAS},
 volume       = {36},
 publisher    = {National Academy of Sciences},
 pages        = {48--49},
 doi          = {10.1073/pnas.36.1.48},
)
@book(osbornebook,
 author       = {{Martin J.} Osborne},
 year         = {2004},
 title        = {An introduction to game theory},
 publisher    = {Oxford Univ. Press},
)
@inproceedings(PnueliR89,
 author       = {A.~Pnueli and R.~Rosner},
 year         = {1989},
 title        = {On the Synthesis of a Reactive Module},
 booktitle    = {POPL},
 publisher    = {ACM Press},
 pages        = {179--190},
 doi          = {10.1145/75277.75293},
)
@inproceedings(Thomas95,
 author       = {Wolfgang Thomas},
 year         = {1995},
 title        = {On the Synthesis of Strategies in Infinite Games},
 booktitle    = {{STACS}},
 publisher    = {Springer},
 pages        = {1--13},
 doi          = {10.1007/3-540-59042-0_57},
)
@inproceedings(Ummels06,
 author       = {Michael Ummels},
 year         = {2006},
 title        = {Rational Behaviour and Strategy Construction in Infinite Multiplayer Games},
 booktitle    = {{FSTTCS}},
 series       = {LNCS},
 volume       = {4337},
 publisher    = {Springer},
 pages        = {212--223},
 doi          = {10.1007/11944836_21},
)
@inproceedings(Ummels08,
 author       = {Michael Ummels},
 year         = {2008},
 title        = {The Complexity of Nash Equilibria in Infinite Multiplayer Games},
 booktitle    = {{FOSSACS}},
 series       = {LNCS},
 volume       = {4962},
 publisher    = {Springer},
 pages        = {20--34},
 doi          = {10.1007/978-3-540-78499-9_3},
)