V. Ågotnes, W. Goranko, and . Jamroga, Alternating-time temporal logics with irrevocable strategies, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.15-24, 2007.
DOI : 10.1145/1324249.1324256

V. Ågotnes, W. Goranko, and . Jamroga, Strategic commitment and release in logics for multi-agent systems (extended abstract), 2008.

T. A. Alur, O. Henzinger, and . Kupferman, Alternating-time temporal logic, FOCS'97, pp.100-109, 1997.
DOI : 10.1109/sfcs.1997.646098

T. A. Alur, O. Henzinger, and . Kupferman, Alternating-time temporal logic, Journal of the ACM, vol.49, issue.5, pp.672-713, 2002.
DOI : 10.1145/585265.585270

T. Baier, M. Brázdil, A. Größer, and . Ku?era, Stochastic game logic, QEST'07, pp.227-236, 2007.
DOI : 10.1109/qest.2007.38

. Ch, J. Baier, and . Katoen, Principles of Model-Checking, 2008.

P. Bouyer, N. Gardy, and . Markey, On the semantics of Strategy Logic, Information Processing Letters, vol.116, issue.2, pp.75-79, 2016.
DOI : 10.1016/j.ipl.2015.10.004

. Th, A. Brihaye, F. Da-costa, N. Laroussinie, and . Markey, ATL with strategy contexts and bounded memory, LFCS'09, pp.92-106, 2009.

T. A. Chatterjee, N. Henzinger, and . Piterman, Strategy logic, CONCUR'07, pp.59-73, 2007.

M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, LOP'81, pp.52-71, 1982.
DOI : 10.1007/978-3-540-69850-0_12

M. Clarke, O. Grumberg, and D. A. , Peled. Model checking, 2000.

D. Costa, F. Laroussinie, and N. Markey, ATL with strategy contexts: Expressiveness and model checking, FSTTCS'10 Leibniz-Zentrum für Informatik, pp.120-132, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00599764

. Gardy, Semantics of Strategy Logic, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01561802

N. Laroussinie and . Markey, Quantified CTL: Expressiveness and Complexity, Logical Methods in Computer Science, vol.10, issue.4, p.2014
DOI : 10.2168/LMCS-10(4:17)2014
URL : https://lmcs.episciences.org/1029/pdf

F. Laroussinie and N. Markey, with strategy contexts, Information and Computation, vol.245, pp.98-123, 2015.
DOI : 10.1016/j.ic.2014.12.020
URL : https://hal.archives-ouvertes.fr/hal-00599764

A. Mogavero, G. Murano, M. Y. Perelli, and . Vardi, Reasoning About Strategies, ACM Transactions on Computational Logic, vol.15, issue.4, pp.1-3447, 2014.
DOI : 10.1145/2631917

A. Mogavero, L. Murano, and . Sauro, A Behavioral Hierarchy of Strategy Logic, CLIMA'14, LNAI 8624, pp.148-165, 2014.
DOI : 10.1007/978-3-319-09764-0_10

A. Mogavero, M. Y. Murano, and . Vardi, Reasoning about strategies, FSTTCS'10 Leibniz-Zentrum für Informatik, pp.133-144, 2010.

. Pinchinat, A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies, ATVA'07, pp.253-267, 2007.
DOI : 10.1007/978-3-540-75596-8_19
URL : https://hal.archives-ouvertes.fr/inria-00555753

. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

-. Queille and J. Sifakis, Specification and verification of concurrent systems in CESAR, SOP'82, pp.337-351, 1982.
DOI : 10.1007/3-540-11494-7_22

W. Van-der-hoek, W. Jamroga, and M. Wooldridge, A logic for strategic reasoning, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.157-164, 2005.
DOI : 10.1145/1082473.1082497

W. Walther, M. Van-der-hoek, and . Wooldridge, Alternating-time temporal logic with explicit strategies, Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge , TARK '07, pp.269-278, 2007.
DOI : 10.1145/1324249.1324285
URL : http://www.tark.org/proceedings/tark_jun25_07/p269-walther.pdf