@article(Alur-Henzinger-others-02,
 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",
)
@book(Baier-Katoen-08,
 author       = "Christel Baier and Joost-Pieter Katoen",
 year         = "2008",
 title        = "Principles of Model Checking",
 publisher    = "The MIT Press",
)
@incollection(Calta-Shkatov-others-10,
 author       = "Jan Calta and Dmitry Shkatov and Holger Schlingloff",
 year         = "2010",
 title        = "Finding Uniform Strategies for Multi-agent Systems",
 editor       = "J{\"u}rgen Dix and Jo{\~a}o Leite and Guido Governatori and Wojtek Jamroga",
 booktitle    = "Computational Logic in Multi-Agent Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "6245",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "135--152",
 doi          = "10.1007/978-3-642-14977-1\_12",
)
@book(Clarke-Grumberg-others-99,
 author       = "E. M. Clarke and O. Grumberg and D. Peled",
 year         = "1999",
 title        = "Model Checking",
 publisher    = "{MIT Press}",
)
@inproceedings(Dastani-Jamroga-10,
 author       = "Mehdi Dastani and Wojciech Jamroga",
 year         = "2010",
 title        = "Reasoning about strategies of multi-agent programs",
 booktitle    = "Proceedings of AAMAS 10",
 pages        = "997--1004",
)
@book(Fagin-Halpern-others-95,
 author       = "Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi",
 year         = "1995",
 title        = "Reasoning about Knowledge",
 publisher    = "MIT Press",
 address      = "Cambridge",
)
@article(Hoek-Wooldridge-03,
 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",
 pages        = "125--157",
 doi          = "10.1023/A:1026185103185",
)
@article(jamroga2007constructive,
 author       = "W. Jamroga and T. {\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",
)
@inproceedings(Jamroga-Dix-06,
 author       = "Wojciech Jamroga and J\"urgen Dix",
 year         = "2006",
 title        = "Model Checking Abilities under Incomplete Information Is Indeed $\Delta ^P_2$-complete",
 booktitle    = "EUMAS'06",
)
@article(Jamroga-Hoek-04,
 author       = "Wojciech Jamroga and Wiebe van der Hoek",
 year         = "2004",
 title        = "Agents that Know How to Play",
 journal      = "Fundamenta Informaticae",
 volume       = "Volume 63",
 number       = "2",
 pages        = "185--219",
)
@incollection(Kluppelholz-Baier-08,
 author       = "Sascha Kl{\"u}ppelholz and Christel Baier",
 year         = "2008",
 title        = "Alternating-Time Stream Logic for Multi-agent Systems",
 booktitle    = "Coordination Models and Languages",
 series       = "LNCS 5052",
 publisher    = "Springer",
 pages        = "184--198",
 doi          = "10.1007/978-3-540-68265-3\_12",
)
@inproceedings(LomuscioQuRaimondi09,
 author       = "A. Lomuscio and H. Qu and F. Raimondi",
 year         = "2009",
 title        = "{MCMAS}: A Model Checker for the Verification of Multi-Agent Systems",
 booktitle    = "Proceedings of CAV 2009",
 series       = "LNCS",
 volume       = "5643",
 publisher    = "Springer",
 pages        = "682--688",
 doi          = "10.1007/978-3-642-02658-4\_55",
)
@article(Lomuscio-Penczek-07,
 author       = "Alessio Lomuscio and Wojciech Penczek",
 year         = "2007",
 title        = "Symbolic model checking for temporal-epistemic logics",
 journal      = "SIGACT News",
 volume       = "38",
 number       = "3",
 pages        = "77--99",
 doi          = "10.1145/1324215.1324231",
)
@article(Schobbens-04,
 author       = "Pierre-Yves Schobbens",
 year         = "2004",
 title        = "Alternating-time logic with imperfect recall",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "85",
 number       = "2",
 pages        = "82 -- 93",
 doi          = "10.1016/S1571-0661(05)82604-0",
)