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.
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.
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.
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.
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.
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.
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.
Axel Haddad (2016):
Characterising Nash Equilibria Outcomes in Fully Informed Concurrent Games.
Available at http://web1.ulb.ac.be/di/verif/haddad/H16.pdf.
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.
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.
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.
Julie de Pril (2013):
Equilibria in Multiplayer Cost Games.
Université de Mons.
eptcs@eptcs.org