@inproceedings(AJ99,
 author       = "Parosh Aziz Abdulla and Bengt Jonsson",
 year         = "1999",
 title        = "On the Existence of Network Invariants for Verifying Parameterized Systems",
 booktitle    = "Correct System Design, Recent Insight and Advances",
 series       = "Lecture Notes in Computer Science",
 volume       = "1710",
 publisher    = "Springer-Verlag",
 pages        = "180--197",
 doi          = "10.1007/3-540-48092-7_9",
)
@inproceedings(BBMU-fossacs12,
 author       = "Patricia Bouyer and Romain Brenguier and Nicolas Markey and Michael Ummels",
 year         = "2012",
 title        = "Concurrent games with ordered objectives",
 booktitle    = "{P}roc.\ 15th {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputation {S}tructure ({FoSSaCS}'12)",
 series       = "Lecture Notes in Computer Science",
 volume       = "7213",
 publisher    = "Springer-Verlag",
 pages        = "301--315",
 doi          = "10.1007/978-3-642-28729-9_20",
)
@techreport(RR-lsv,
 author       = "Patricia Bouyer and Nicolas Markey and Steen Vester",
 year         = "2014",
 title        = "Nash Equilibria in Symmetric Games with Partial Observation",
 type         = "Technical Report",
 number       = "LSV-14-01",
 institution  = "Lab. Sp{\'e}cification \& V{\'e}rification, ENS~Cachan, France",
)
@inproceedings(concur2007-CHP,
 author       = "Krishnendu Chatterjee and Thomas A. Henzinger and Nir Piterman",
 year         = "2007",
 title        = "Strategy Logic",
 booktitle    = "{P}roc.\ 18th {I}nternational {C}onference on {C}oncurrency {T}heory ({CONCUR}'07)",
 series       = "Lecture Notes in Computer Science",
 volume       = "4703",
 publisher    = "Springer-Verlag",
 pages        = "59--73",
 doi          = "10.1007/978-3-540-74407-8_5",
)
@inproceedings(csl2004-CMJ,
 author       = "Krishnendu Chatterjee and Rupak Majumdar and Marcin Jurdzi{\'n}ski",
 year         = "2004",
 title        = "On {N}ash equilibria in stochastic games",
 booktitle    = "{P}roc.\ 18th {I}nternational {W}orkshop on {C}omputer {S}cience {L}ogic ({CSL}'04)",
 series       = "Lecture Notes in Computer Science",
 volume       = "3210",
 publisher    = "Springer-Verlag",
 pages        = "26--40",
 doi          = "10.1007/978-3-540-30124-0_6",
)
@inproceedings(fsttcs2010-DLM,
 author       = "Arnaud Da{ }Costa and Fran{\c c}ois Laroussinie and Nicolas Markey",
 year         = "2010",
 title        = "{ATL} with strategy contexts: Expressiveness and Model Checking",
 booktitle    = "{P}roc. 30th {C}onferentce on {F}oundations of {S}oftware {T}echnology and {T}heoretical {C}omputer {S}cience ({FSTTCS}'10)",
 series       = "Leibniz International Proceedings in Informatics",
 volume       = "8",
 publisher    = "Leibniz-Zentrum f{\"u}r Informatik",
 pages        = "120--132",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.120",
)
@article(DM86,
 author       = "Partha Dasgupta and Eric Maskin",
 year         = "1986",
 title        = "The Existence of Equilibrium in Discontinuous Economic Games, 1:~Theory",
 journal      = "The Review of Economic Studies",
 volume       = "53",
 number       = "1",
 pages        = "1--26",
 doi          = "10.2307/2297589",
)
@article(ES96,
 author       = "E. Allen Emerson and A. Prasad Sistla",
 year         = "1996",
 title        = "Symmetry and model checking",
 journal      = "Formal Methods in System Design",
 volume       = "9",
 number       = "1-2",
 pages        = "105--131",
 doi          = "10.1007/BF00625970",
)
@article(GS92,
 author       = "Steven M. German and A. Prasad Sistla",
 year         = "1992",
 title        = "Reasoning about Systems with Many Processes",
 journal      = "Journal of the ACM",
 volume       = "39",
 number       = "3",
 pages        = "675--735",
 doi          = "10.1145/146637.146681",
)
@inproceedings(tark2005-Hen,
 author       = "Thomas A. Henzinger",
 year         = "2005",
 title        = "Games in system design and verification",
 booktitle    = "{P}roc. 10th {C}onference on {T}heoretical {A}spects of {R}ationality and {K}nowledge ({TARK}'05)",
 pages        = "1--4",
 doi          = "10.1145/1089933.1089935",
)
@article(Nas50,
 author       = "John F. Nash, Jr.",
 year         = "1950",
 title        = "Equilibrium Points in {\relax $n\relax \GenericError { }{LaTeX Error: Bad math environment delimiter}{See the LaTeX manual or LaTeX Companion for explanation.}{Your command was ignored.\MessageBreak Type I <command> <return> to replace it with another command,\MessageBreak or <return> to continue without it.}}-Person Games",
 journal      = "Proc. National Academy of Sciences",
 volume       = "36",
 number       = "1",
 pages        = "48--49",
 doi          = "10.1073/pnas.36.1.48",
)
@article(Nas51,
 author       = "John F. Nash, Jr.",
 year         = "1951",
 title        = "Non-cooperative Games",
 journal      = "Annals of Mathematics",
 volume       = "54",
 number       = "2",
 pages        = "286--295",
 doi          = "10.2307/1969529",
)
@inproceedings(PR90,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1990",
 title        = "Distributed Reactive Systems Are Hard to Synthesize",
 booktitle    = "{P}roc.\ 31st {A}nnual {S}ymposium on {F}oundations of {C}omputer {S}cience ({FOCS}'90)",
 publisher    = "IEEE Computer Society Press",
 pages        = "746--757",
 doi          = "10.1109/FSCS.1990.89597",
)
@article(UW-lmcs11,
 author       = "Michael Ummels and Dominik Wojtczak",
 year         = "2011",
 title        = "The Complexity of {N}ash Equilibria in Stochastic Multiplayer Games",
 journal      = "Logical Methods in Computer Science",
 volume       = "7",
 number       = "3:20",
 doi          = "10.2168/LMCS-7(3:20)2011",
)