@inproceedings(AgotnesGJ07,
 author       = "Thomas Agotnes and Valentin Goranko and Wojciech Jamroga",
 year         = "2007",
 title        = "Alternating-time Temporal Logics with Irrevocable Strategies",
 booktitle    = "Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge",
 series       = "TARK '07",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "15--24",
 doi          = "10.1145/1324249.1324256",
)
@article(atl02,
 author       = "Rajeev Alur and Thomas A. Henzinger and Orna Kupferman",
 year         = "2002",
 title        = "Alternating-time temporal logic",
 journal      = "J. ACM",
 volume       = "49",
 number       = "5",
 pages        = "672--713",
 doi          = "10.1145/585265.585270",
)
@techreport(Belardinelli14tech,
 author       = "Francesco Belardinelli",
 year         = "2014",
 title        = "Reasoning about Knowledge and Strategies: Epistemic Strategy Logic",
 type         = "Technical Report",
 institution  = "Université d'Evry, Laboratoire IBISC",
 url          = "https://www.ibisc.univ-evry.fr/~belardinelli/Documents/sr2014.pdf",
)
@incollection(BullingDJ10,
 author       = "Nils Bulling and Jurgen Dix and Wojciech Jamroga",
 year         = "2010",
 title        = "Model Checking Logics of Strategic Ability: Complexity*",
 editor       = "Mehdi Dastani and Koen V. Hindriks and John-Jules Charles Meyer",
 booktitle    = "Specification and Verification of Multi-agent Systems",
 publisher    = "Springer US",
 pages        = "125--159",
 doi          = "10.1007/978-1-4419-6984-2",
)
@article(ChatterjeeHP10,
 author       = "Krishnendu Chatterjee and Thomas A. Henzinger and Nir Piterman",
 year         = "2010",
 title        = "Strategy logic",
 journal      = "Inf. Comput.",
 volume       = "208",
 number       = "6",
 pages        = "677--693",
 doi          = "10.1016/j.ic.2009.07.004",
)
@book(fhmv:rak,
 author       = "Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi",
 year         = "1995",
 title        = "{Reasoning About Knowledge}",
 publisher    = "The MIT Press",
)
@inproceedings(GammieM04,
 author       = "Peter Gammie and Ron van der Meyden",
 year         = "2004",
 title        = "MCK: Model Checking the Logic of Knowledge",
 editor       = "Rajeev Alur and Doron Peled",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "3114",
 publisher    = "Springer",
 pages        = "479--483",
 doi          = "10.1007/978-3-540-27813-9\_41",
)
@article(GorankoJ04,
 author       = "Valentin Goranko and Wojciech Jamroga",
 year         = "2004",
 title        = "Comparing Semantics of Logics for Multi-Agent Systems",
 journal      = "Synthese",
 volume       = "139",
 number       = "2",
 pages        = "241--280",
 doi          = "10.1023/B:SYNT.0000024915.66183.d1",
)
@inproceedings(HalpernV86,
 author       = "Joseph Y. Halpern and Moshe Y. Vardi",
 year         = "1986",
 title        = "The Complexity of Reasoning about Knowledge and Time: Extended Abstract",
 editor       = "Juris Hartmanis",
 booktitle    = "STOC",
 publisher    = "ACM",
 pages        = "304--315",
 doi          = "10.1145/12130.12161",
)
@article(HalpernV89,
 author       = "Joseph Y. Halpern and Moshe Y. Vardi",
 year         = "1989",
 title        = "The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "38",
 number       = "1",
 pages        = "195--237",
 doi          = "10.1016/0022-0000(89)90039-1",
)
@article(HoekW03a,
 author       = "Wiebe van der Hoek and Michael Wooldridge",
 year         = "2003",
 title        = "Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications",
 journal      = "Studia Logica",
 volume       = "75",
 number       = "1",
 pages        = "125--157",
 doi          = "10.1023/A:1026185103185",
)
@inproceedings(Jamroga04,
 author       = "Wojciech Jamroga",
 year         = "2004",
 title        = "Some Remarks on Alternating Temporal Epistemic Logic",
 booktitle    = "Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003)",
 pages        = "133--140",
)
@article(JamrogaA07,
 author       = "Wojciech Jamroga and Thomas {\r A}gotnes",
 year         = "2007",
 title        = "Constructive knowledge: what agents can achieve under imperfect information",
 journal      = "Journal of Applied Non-Classical Logics",
 volume       = "17",
 number       = "4",
 pages        = "423--475",
 doi          = "10.3166/jancl.17.423-475",
)
@article(JamrogaH04,
 author       = "Wojciech Jamroga and Wiebe van der Hoek",
 year         = "2004",
 title        = "Agents that Know How to Play",
 journal      = "Fundam. Inform.",
 volume       = "63",
 number       = "2-3",
 pages        = "185--219",
 url          = "http://iospress.metapress.com/content/xh738axb47d8rchf/",
)
@mastersthesis(Jonker03,
 author       = "Geert Jonker",
 year         = "2003",
 title        = "Feasible strategies in Alternating-time Temporal Epistemic Logic",
 school       = "University of Utrecht",
)
@inproceedings(LomuscioQR09,
 author       = "Alessio Lomuscio and Hongyang Qu and Franco Raimondi",
 year         = "2009",
 title        = "{MCMAS}: A Model Checker for the Verification of Multi-Agent Systems",
 editor       = "A. Bouajjani and O. Maler",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "5643",
 publisher    = "Springer",
 pages        = "682--688",
 doi          = "10.1007/978-3-642-02658-4\_55",
)
@article(MogaveroMV11,
 author       = "Fabio Mogavero and Aniello Murano and Giuseppe Perelli and Moshe Y. Vardi",
 year         = "2011",
 title        = "Reasoning About Strategies",
 journal      = "CoRR",
 volume       = "abs/1112.6275",
 url          = "http://arxiv.org/abs/1112.6275",
)
@article(MullerS87,
 author       = "David E. Muller and Paul E. Schupp",
 year         = "1987",
 title        = "Alternating Automata on Infinite Trees",
 journal      = "Theor. Comput. Sci.",
 volume       = "54",
 pages        = "267--276",
 doi          = "10.1016/0304-3975(87)90133-2",
)
@article(Pauly02,
 author       = "Marc Pauly",
 year         = "2002",
 title        = "A Modal Logic for Coalitional Power in Games",
 journal      = "J. Log. Comput.",
 volume       = "12",
 number       = "1",
 pages        = "149--166",
 doi          = "10.1093/logcom/12.1.149",
)