Thomas Ågotnes
Valentin Goranko
Wojciech Jamroga
2007
Alternating-time temporal logics with irrevocable strategies
Theoretical aspects of rationality and knowledge
15–24
10.1145/1324249.1324256
Rajeev Alur
Thomas A. Henzinger
Orna Kupferman
2002
Alternating-time temporal logic
J. ACM
49
5
672–713
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
92–106
10.1007/978-3-540-92687-0_7
Christophe Chareton
Julien Brunel
David Chemouil
2013
Updatable Strategy Logic
\voidb@x
hal-00785659
http://hal.archives-ouvertes.fr/hal-00785659
Submitted
Krishnendu Chatterjee
Thomas A. Henzinger
Nir Piterman
2010
Strategy logic
Inf. & Comp.
208
6
677–693
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
FSTTCS
120–132
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
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
CONCUR
193–208
10.1007/978-3-642-32940-1_15
Fabio Mogavero
Aniello Murano
Moshe Y. Vardi
2010
Reasoning about strategies
FSTTCS
8
133–144
10.4230/LIPIcs.FSTTCS.2010.133