1. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen & Didier Lime (2007): UPPAAL-Tiga: Time for Playing Games!. In: Proc. 19th Int. Conf. Computer Aided Verification (CAV'07). Springer, pp. 121–125, doi:10.1007/978-3-540-73368-3_14.
  2. Patricia Bouyer, Romain Brenguier, Nicolas Markey & Michael Ummels (2015): Pure Nash Equilibria in Concurrent Deterministic Games. Logical Methods in Computer Science (LMCS) 11(2), doi:10.2168/LMCS-11(2:9)2015.
  3. Thomas Brihaye, Julie De Pril & Sven Schewe (2013): Multiplayer Cost Games with Simple Nash Equilibria. In: Proc. of the Int. Symp. Logical Foundations of Computer Science (LFCS'13), pp. 59–73, doi:10.1007/978-3-642-35722-0_5.
  4. T. Chen, M. Kwiatkowska, A. Simaitis & C. Wiltsche (2013): Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving. In: Proc. 10th Int. Conf. on Quantitative Evaluation of SysTems (QEST'13). Springer, pp. 322–337, doi:10.1007/978-3-642-40196-1_28.
  5. Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker & Aistis Simaitis (2013): PRISM-games: A Model Checker for Stochastic Multi-Player Games. In: Proc. 19th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13). Springer, pp. 185–191, doi:10.1007/978-3-642-36742-7_13.
  6. Alexandre David, Jacob Deleuran Grunnet, Jan J. Jessen, Kim G. Larsen & Jacob I. Rasmussen (2012): Application of Model-Checking Technology to Controller Synthesis. In: Proc. 9th Int. Symp. Formal Methods for Components and Objects (FMCO'12). Springer, pp. 336–351, doi:10.1007/978-3-642-25271-6.
  7. Alexandre David, Peter G. Jensen, Kim G. Larsen, Marius Mikucionis & Jakob H. Taankvist (2015): Uppaal Stratego. In: Proc. 21st Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15). Springer, pp. 206–211, doi:10.1007/978-3-662-46681-0_16.
  8. Axel Haddad (2016): Characterising Nash Equilibria Outcomes in Fully Informed Concurrent Games. Available at
  9. Miroslav Klimoš, Kim G. Larsen, Filip Štefaňák & Jeppe Thaarup (2012): Nash Equilibria in Concurrent Priced Games. In: Proc. 6th Int. Conf. Language and Automata Theory and Applications (LATA'12). Springer, pp. 363–376, doi:10.1007/978-3-642-28332-1_31.
  10. Kim G. Larsen, Marius Mikucionis & Jakob H. Taankvist (2015): Safe and Optimal Adaptive Cruise Control. In: Proc. Symp. in Honor of Ernst-Rüdiger Olderog on Correct System Design. Springer, pp. 260–277, doi:10.1007/978-3-319-23506-6.
  11. John F. Nash Jr. (1950): Equilibrium Points in N-Person Games. Proceedings of the National Academy of Science 36, pp. 48–49, doi:10.1073/pnas.36.1.48.
  12. Julie de Pril (2013): Equilibria in Multiplayer Cost Games. Université de Mons.

Comments and questions to:
For website issues: