1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49, 672–713 (2002)
2. Lecture Notes in Computer Science;P Bouyer,2018
3. Bouyer, P., Brenguier, R., Markey, N., Ummels, M.: Nash equilibria in concurrent games with Büchi objectives. In: Proceedings of the 30th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011). LIPIcs, vol. 13, pp. 375–386. Leibniz-Zentrum für Informatik (2011)
4. Bouyer, P., Brenguier, R., Markey, N., Ummels, M.: Pure Nash equilibria in concurrent games. Logical Methods Comput. Sci. 11(2), 9 (2015)
5. Bouyer, P., Markey, N., Stan, D.: Mixed Nash equilibria in concurrent games. In: Proceedings of the 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014). LIPIcs, vol. 29, pp. 351–363. Leibniz-Zentrum für Informatik (2014)