G. Behrmann, A. Cougnard, A. David, E. Fleury, K. G. Larsen et al., UPPAAL-Tiga: Time for Playing Games!, Proc. 19th Int. Conf. Computer Aided Verification, pp.121-125, 2007.
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466

P. Bouyer, R. Brenguier, N. Markey, and &. Michael-ummels, Pure Nash Equilibria in Concurrent Deterministic Games, Logical Methods in Computer Science, vol.11, issue.2, pp.10-2168, 2015.
DOI : 10.2168/LMCS-11(2:9)2015

T. Chen, M. Kwiatkowska, A. Simaitis, and &. C. Wiltsche, Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving, Proc. 10th Int. Conf. on Quantitative Evaluation of SysTems (QEST'13), pp.322-337, 2013.
DOI : 10.1007/978-3-642-40196-1_28

T. Chen, V. Forejt, and M. Kwiatkowska, PRISMgames: A Model Checker for Stochastic Multi-Player Games, Proc. 19th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), pp.185-191, 2013.

A. David, J. D. Grunnet, J. J. Jessen, K. G. Larsen, &. Jacob et al., Application of Model-Checking Technology to Controller Synthesis, Proc. 9th Int. Symp. Formal Methods for Components and Objects (FMCO'12, pp.336-351, 2012.
DOI : 10.1109/TAC.2006.886494

A. David, P. G. Jensen, K. G. Larsen, M. Mikucionis, &. Jakob et al., Uppaal Stratego, Proc. 21st Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), pp.206-211, 2015.
DOI : 10.1007/978-3-662-46681-0_16

A. Haddad, Characterising Nash Equilibria Outcomes in Fully Informed Concurrent Games, 2016.

M. Klimo?, K. G. Larsen, and . Thaarup, Nash Equilibria in Concurrent Priced Games, Proc. 6th Int. Conf. Language and Automata Theory and Applications (LATA'12, pp.363-376, 2012.
DOI : 10.1007/978-3-642-28332-1_31

K. G. Larsen, M. Mikucionis, &. Jakob, and H. Taankvist, Safe and Optimal Adaptive Cruise Control, Proc. Symp. in Honor of Ernst-Rüdiger Olderog on Correct System Design, pp.260-277, 2015.
DOI : 10.1007/978-3-319-23506-6_17

F. John and . Nash-jr, Equilibrium Points in N-Person Games, Proceedings of the National Academy of Science, vol.36, pp.48-49, 1950.

J. De and P. , Equilibria in Multiplayer Cost Games, 2013.