@article(alur2007model,
 author       = "R. Alur and P. {\v {C}}ern{\`y} and S. Chaudhuri",
 year         = "2007",
 title        = "Model checking on trees with path equivalences",
 journal      = "Tools and Algorithms for the Construction and Analysis of Systems",
 pages        = "664--678",
 doi          = "10.1007/978-3-540-71209-1\_51",
)
@article(alur2002alternating,
 author       = "R. Alur and T.A. Henzinger and O. Kupferman",
 year         = "2002",
 title        = "Alternating-time temporal logic",
 journal      = "Journal of the ACM (JACM)",
 volume       = "49",
 number       = "5",
 pages        = "672--713",
 doi          = "10.1145/585265.585270",
)
@book(apt2011lectures,
 author       = "K.R. Apt and E. Gr{\"a}del",
 year         = "2011",
 title        = "Lectures in Game Theory for Computer Scientists",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511973468",
)
@article(arnold02b,
 author       = "A. Arnold and A. Vincent and I. Walukiewicz",
 year         = "2003",
 title        = "Games for synthesis of controllers with partial observation",
 journal      = "Theoretical Computer Science",
 volume       = "1",
 number       = "303",
 pages        = "7--34",
 doi          = "10.1016/S0304-3975(02)00442-5",
 url          = "http://www.labri.fr/Perso/~igw/Papers/igw-synthesis.ps",
)
@article(benthem2005epistemic,
 author       = "J. Benthem",
 year         = "2005",
 title        = "The Epistemic Logic of IF Games",
 journal      = "The Philosophy of Jaakko Hintikka",
 volume       = "30",
)
@book(berstel1979transductions,
 author       = "J. Berstel",
 year         = "1979",
 title        = "Transductions and context-free languages",
 volume       = "4",
 publisher    = "Teubner Stuttgart",
)
@inproceedings(berwanger2008power,
 author       = "Dietmar Berwanger and Laurent Doyen",
 year         = "2008",
 title        = "On the Power of Imperfect Information",
 editor       = "Ramesh Hariharan and Madhavan Mukund and V. Vinay",
 booktitle    = "FSTTCS",
 series       = "LIPIcs",
 volume       = "2",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "73--82",
 url          = "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2008.1742",
)
@inproceedings(chatterjee2006algorithms,
 author       = "K. Chatterjee and L. Doyen and T. Henzinger and J.F. Raskin",
 year         = "2006",
 title        = "Algorithms for omega-regular games with imperfect information",
 booktitle    = "Computer Science Logic",
 organization = "Springer",
 pages        = "287--302",
 doi          = "10.1007/11874683\_19",
)
@article(dima2010model,
 author       = "C. Dima and C. Enea and D. Guelev",
 year         = "2010",
 title        = "Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions",
 journal      = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "25",
 doi          = "10.4204",
)
@inproceedings(emerson91,
 author       = "E. Allen Emerson and Charanjit S. Jutla",
 year         = "1991",
 title        = "Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)",
 booktitle    = "FOCS",
 publisher    = "IEEE Computer Society",
 pages        = "368--377",
 url          = "http://doi.ieeecomputersociety.org/10.1109/SFCS.1991.185392",
)
@article(fagin1991model,
 author       = "R. Fagin and J.Y. Halpern and M.Y. Vardi",
 year         = "1991",
 title        = "A model-theoretic analysis of knowledge",
 journal      = "Journal of the ACM (JACM)",
 volume       = "38",
 number       = "2",
 pages        = "382--428",
 doi          = "10.1145/103516.128680",
)
@inproceedings(gabbay80,
 author       = "Dov M. Gabbay and Amir Pnueli and Saharon Shelah and Jonathan Stavi",
 year         = "1980",
 title        = "On the Temporal Basis of Fairness",
 editor       = "Paul W. Abrahams and Richard J. Lipton and Stephen R. Bourne",
 booktitle    = "POPL",
 publisher    = "ACM Press",
 pages        = "163--173",
 url          = "http://doi.acm.org/10.1145/567446.567462",
)
@book(booklncs2500,
 editor       = "E. Gr{\"a}del and W. Thomas and T. Wilke",
 year         = "2002",
 title        = "Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]",
 series       = "Lecture Notes in Computer Science",
 volume       = "2500",
 publisher    = "Springer",
)
@article(halpern2004complete,
 author       = "Joseph Y. Halpern and Ron van der Meyden and Moshe Y. Vardi",
 year         = "2004",
 title        = "Complete Axiomatizations for Reasoning about Knowledge and Time",
 journal      = "SIAM J. Comput.",
 volume       = "33",
 number       = "3",
 pages        = "674--703",
 url          = "http://dx.doi.org/10.1137/S0097539797320906",
)
@article(halpern1989complexity,
 author       = "J.Y. Halpern and M.Y. Vardi",
 year         = "1989",
 title        = "The complexity of reasoning about knowledge and time. 1. Lower bounds",
 journal      = "Journal of Computer and System Sciences",
 volume       = "38",
 number       = "1",
 pages        = "195--237",
 doi          = "10.1145/12130.12161",
)
@book(hintikka1962knowledge,
 author       = "J. Hintikka",
 year         = "1962",
 title        = "Knowledge and belief",
 volume       = "13",
 publisher    = "Cornell University Press Ithaca",
)
@article(van2003cooperation,
 author       = "W. van der Hoek and M. 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(jamroga2011comparing,
 author       = "W. Jamroga and N. Bulling",
 year         = "2011",
 title        = "Comparing variants of strategic ability",
 booktitle    = "Proceedings of the Twenty-Second international joint conference on Artificial Intelligence-Volume Volume One",
 organization = "AAAI Press",
 pages        = "252--257",
 doi          = "10.1023/A:1026171312755",
)
@article(jamroga2004agents,
 author       = "Wojciech Jamroga and Wiebe van der Hoek",
 year         = "2004",
 title        = "Agents that Know How to Play",
 journal      = "Fundamenta Informaticae",
 volume       = "63",
 number       = "2-3",
 pages        = "185--219",
 url          = "http://iospress.metapress.com/content/xh738axb47d8rchf/",
)
@inproceedings(ladner1986logic,
 author       = "Richard E. Ladner and John H. Reif",
 year         = "1986",
 title        = "The Logic of Distributed Protocols",
 editor       = "Joseph Y. Halpern",
 booktitle    = "TARK",
 publisher    = "Morgan Kaufmann",
 pages        = "207--222",
)
@inproceedings(lehmann1984knowledge,
 author       = "D. Lehmann",
 year         = "1984",
 title        = "Knowledge, common knowledge and related puzzles (Extended Summary)",
 booktitle    = "Proceedings of the third annual ACM symposium on Principles of distributed computing",
 organization = "ACM",
 pages        = "62--67",
 doi          = "10.1145/800222.806736",
)
@techreport(maubertRapport2012,
 author       = "Bastien Maubert and Sophie Pinchinat",
 year         = "2012",
 title        = "{Uniform Strategies}",
 type         = "Rapport de recherche",
 number       = "RR-8144",
 institution  = "INRIA",
 url          = "http://hal.inria.fr/hal-00760370",
)
@inproceedings(maubert2011opacity,
 author       = "Bastien Maubert and Sophie Pinchinat and Laura Bozzelli",
 year         = "2011",
 title        = "Opacity Issues in Games with Imperfect Information",
 editor       = "Giovanna D'Agostino and Salvatore La Torre",
 booktitle    = "GandALF",
 series       = "EPTCS",
 volume       = "54",
 pages        = "87--101",
 doi          = "10.4204/EPTCS.54.7",
)
@article(parikh1985distributed,
 author       = "R. Parikh and R. Ramanujam",
 year         = "1985",
 title        = "Distributed processes and the logic of knowledge",
 journal      = "Logics of Programs",
 pages        = "256--268",
 doi          = "10.1007/3-540-15648-8\_21",
)
@inproceedings(pnueli89b,
 author       = "A. Pnueli and R. Rosner",
 year         = "1989",
 title        = "On the Synthesis of an Asynchronous Reactive Module",
 booktitle    = "Proc.\ 16th Int.\ Coll.\ on Automata, Languages and Programming, ICALP'89, Stresa, Italy, LNCS 372",
 publisher    = "Springer-Verlag",
 pages        = "652--671",
 doi          = "10.1007/BFb0035790",
)
@article(reif84,
 author       = "J.H. Reif",
 year         = "1984",
 title        = "{The complexity of two-player games of incomplete information}",
 journal      = "Journal of computer and system sciences",
 volume       = "29",
 number       = "2",
 pages        = "274--301",
 doi          = "10.1016/0022-0000(84)90034-5",
)
@techreport(sato1977study,
 author       = "JM Sato",
 year         = "1977",
 title        = "A study of Kripke style methods for some modal logic by Gentzen's sequential method",
 type         = "Technical Report",
 institution  = "Technical report, Publication Research Institute for Mathematical Science",
)
@misc(vaananen2007dependence,
 author       = "J. V{\"a}{\"a}n{\"a}nen",
 year         = "2007",
 title        = "Dependence Logic",
)
@article(van2001games,
 author       = "J. Van Benthem",
 year         = "2001",
 title        = "Games in Dynamic-Epistemic Logic",
 journal      = "Bulletin of Economic Research",
 volume       = "53",
 number       = "4",
 pages        = "219--248",
 doi          = "10.1111/1467-8586.00133",
)