@inproceedings(BCDFLL07,
 author       = {Gerd Behrmann and Agn{\`{e}}s Cougnard and Alexandre David and Emmanuel Fleury and Kim G. Larsen and Didier Lime},
 year         = {2007},
 title        = {UPPAAL-Tiga: Time for Playing Games!},
 booktitle    = {Proc. 19th Int. Conf. Computer Aided Verification ({CAV}'07)},
 publisher    = {Springer},
 pages        = {121--125},
 doi          = {10.1007/978-3-540-73368-3_14},
)
@article(BBMU15,
 author       = {Patricia Bouyer and Romain Brenguier and Nicolas Markey and Michael Ummels},
 year         = {2015},
 title        = {Pure {N}ash Equilibria in Concurrent Deterministic Games},
 journal      = {Logical Methods in Computer Science ({LMCS})},
 volume       = {11},
 number       = {2},
 doi          = {10.2168/LMCS-11(2:9)2015},
)
@inproceedings(BPS13,
 author       = {Thomas Brihaye and {De Pril}, Julie and Sven Schewe},
 year         = {2013},
 title        = {Multiplayer Cost Games with Simple Nash Equilibria},
 booktitle    = {Proc. of the Int. Symp. Logical Foundations of Computer Science ({LFCS}'13)},
 pages        = {59--73},
 doi          = {10.1007/978-3-642-35722-0_5},
)
@inproceedings(CKSW13,
 author       = {T. Chen and M. Kwiatkowska and A. Simaitis and C. Wiltsche},
 year         = {2013},
 title        = {Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving},
 booktitle    = {Proc. 10th Int. Conf. on Quantitative Evaluation of SysTems ({QEST}'13)},
 publisher    = {Springer},
 pages        = {322--337},
 doi          = {10.1007/978-3-642-40196-1_28},
)
@inproceedings(CFK+13,
 author       = {Taolue Chen and Vojt\v{e}ch Forejt and Marta Kwiatkowska and David Parker and Aistis Simaitis},
 year         = {2013},
 title        = {{PRISM-games}: A Model Checker for Stochastic Multi-Player Games},
 booktitle    = {Proc. 19th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems ({TACAS}'13)},
 publisher    = {Springer},
 pages        = {185--191},
 doi          = {10.1007/978-3-642-36742-7_13},
)
@inproceedings(DGJLR10,
 author       = {Alexandre David and Deleuran Grunnet, Jacob and Jan J. Jessen and Kim G. Larsen and Jacob I. Rasmussen},
 year         = {2012},
 title        = {Application of Model-Checking Technology to Controller Synthesis},
 booktitle    = {Proc. 9th Int. Symp. Formal Methods for Components and Objects ({FMCO}'12)},
 publisher    = {Springer},
 pages        = {336--351},
 doi          = {10.1007/978-3-642-25271-6},
)
@inproceedings(DJLMT15,
 author       = {Alexandre David and Peter G. Jensen and Kim G. Larsen and Marius Mikucionis and Jakob H. Taankvist},
 year         = {2015},
 title        = {Uppaal Stratego},
 booktitle    = {Proc. 21st Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems ({TACAS}'15)},
 publisher    = {Springer},
 pages        = {206--211},
 doi          = {10.1007/978-3-662-46681-0_16},
)
@unpublished(H16,
 author       = {Axel Haddad},
 year         = {2016},
 title        = {Characterising Nash Equilibria Outcomes in Fully Informed Concurrent Games},
 note         = {Available at \url{http://web1.ulb.ac.be/di/verif/haddad/H16.pdf}},
)
@inproceedings(KLSTC12,
 author       = {Klimo{\v s}, Miroslav and Kim G. Larsen and {\v S}tefa{\v n}{\'a}k, Filip and Jeppe Thaarup},
 year         = {2012},
 title        = {Nash Equilibria in Concurrent Priced Games},
 booktitle    = {Proc. 6th Int. Conf. Language and Automata Theory and Applications ({LATA}'12)},
 publisher    = {Springer},
 pages        = {363--376},
 doi          = {10.1007/978-3-642-28332-1_31},
)
@inproceedings(LMT15,
 author       = {Kim G. Larsen and Marius Mikucionis and Jakob H. Taankvist},
 year         = {2015},
 title        = {Safe and Optimal Adaptive Cruise Control},
 booktitle    = {Proc. Symp. in Honor of Ernst-R{\"{u}}diger Olderog on Correct System Design},
 publisher    = {Springer},
 pages        = {260--277},
 doi          = {10.1007/978-3-319-23506-6},
)
@article(Nash,
 author       = {Nash Jr., John F.},
 year         = {1950},
 title        = {Equilibrium Points in N-Person Games},
 journal      = {Proceedings of the National Academy of Science},
 volume       = {36},
 pages        = {48--49},
 doi          = {10.1073/pnas.36.1.48},
)
@phdthesis(Pri13,
 author       = {Julie de Pril},
 year         = {2013},
 title        = {Equilibria in Multiplayer Cost Games},
 school       = {Universit{\'e} de Mons},
)