Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga (2007):
Alternating-time temporal logics with irrevocable strategies.
In: Theoretical aspects of rationality and knowledge,
pp. 15–24,
doi:10.1145/1324249.1324256.
Rajeev Alur, Thomas A. Henzinger & Orna Kupferman (2002):
Alternating-time temporal logic.
J. ACM 49(5),
pp. 672–713,
doi:10.1145/585265.585270.
T. Brihaye, A. Da Costa, F. Laroussinie & N. Markey (2009):
ATL with strategy contexts and bounded memory.
Logical Foundations of Computer Science,
pp. 92–106,
doi:10.1007/978-3-540-92687-0_7.
Christophe Chareton, Julien Brunel & David Chemouil (2013):
Updatable Strategy Logic.
\voidb@x hal-00785659.
Available at http://hal.archives-ouvertes.fr/hal-00785659.
Submitted.
Krishnendu Chatterjee, Thomas A. Henzinger & Nir Piterman (2010):
Strategy logic.
Inf. & Comp. 208(6),
pp. 677–693,
doi:10.1016/j.ic.2009.07.004.
Arnaud Da Costa Lopes (2011):
Propriétés de jeux multi-agents.
Phd thesis.
École normale supérieure de Cachan.
Arnaud Da Costa Lopes, François Laroussinie & Nicolas Markey (2010):
ATL with Strategy Contexts: Expressiveness and Model Checking.
In: FSTTCS,
pp. 120–132,
doi:10.4230/LIPIcs.FSTTCS.2010.120.
Fabio Mogavero, Aniello Murano, Giuseppe Perelli & Moshe Y. Vardi (2011):
Reasoning About Strategies: On the Model-Checking Problem.
CoRR abs/1112.6275.
Available at http://arxiv.org/abs/1112.6275.
Fabio Mogavero, Aniello Murano, Giuseppe Perelli & Moshe Y. Vardi (2012):
What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.
In: CONCUR,
pp. 193–208,
doi:10.1007/978-3-642-32940-1_15.
Fabio Mogavero, Aniello Murano & Moshe Y. Vardi (2010):
Reasoning about strategies.
In: FSTTCS 8,
pp. 133–144,
doi:10.4230/LIPIcs.FSTTCS.2010.133.