@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},
)
@inproceedings(Belardinelli-Lomuscio-others-17,
 author       = {Francesco Belardinelli and Alessio Lomuscio and Aniello Murano and Sasha Rubin},
 year         = {2017},
 title        = {Verification of Multi-agent Systems with Imperfect Information and Public Actions},
 booktitle    = {Proceedings of AAMAS '17},
 pages        = {1268--1276},
)
@inproceedings(Berthon-Maubert-others-17,
 author       = {Rapha\"{e}l Berthon and Bastien Maubert and Aniello Murano},
 year         = {2017},
 title        = {Decidability Results for ATL* with Imperfect Information and Perfect Recall},
 booktitle    = {Proceedings of AAMAS '17},
 pages        = {1250--1258},
)
@inproceedings(Bertoli-Cimatti-others-06a,
 author       = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Pistore},
 year         = {2006},
 title        = {Towards Strong Cyclic Planning Under Partial Observability},
 booktitle    = {Proceedings of ICAPS'06},
 pages        = {354--357},
)
@article(Bertoli-Cimatti-others-06,
 author       = {Piergiorgio Bertoli and Alessandro Cimatti and Marco Roveri and Paolo Traverso},
 year         = {2006},
 title        = {Strong planning under partial observability},
 journal      = {Artificial Intelligence},
 volume       = {170},
 number       = {4},
 pages        = {337 -- 384},
 doi          = {10.1016/j.artint.2006.01.004},
)
@incollection(Bozianu-Dima-others-14,
 author       = {Rodica Bozianu and C{\u a}t{\u a}lin Dima and Emmanuel Filiot},
 year         = {2014},
 title        = {Safraless Synthesis for Epistemic Temporal Specifications},
 booktitle    = {Computer Aided Verification},
 series       = {LNCS},
 volume       = {8559},
 publisher    = {Springer International Publishing},
 pages        = {441--456},
 doi          = {10.1007/978-3-319-08867-9_29},
)
@article(Bryant-86,
 author       = {R. E. Bryant},
 year         = {1986},
 title        = {Graph-Based Algorithms for Boolean Function Manipulation},
 journal      = {IEEE Transactions on Computers},
 volume       = {C-35},
 number       = {8},
 pages        = {677--691},
 doi          = {10.1109/TC.1986.1676819},
)
@inproceedings(Busard-Pecheur-13,
 author       = {Simon Busard and Charles Pecheur},
 year         = {2013},
 title        = {PyNuSMV: NuSMV as a Python Library},
 booktitle    = {Proceedings of NFM 2013},
 pages        = {453--458},
 doi          = {10.1007/978-3-642-38088-4_33},
)
@inproceedings(Busard-Pecheur-others-13,
 author       = {Simon Busard and Charles Pecheur and Hongyang Qu and Franco Raimondi},
 year         = {2013},
 title        = {Reasoning about Strategies under Partial Observability and Fairness Constraints},
 booktitle    = {Proceedings of SR 2013},
 pages        = {71--79},
 doi          = {10.4204/EPTCS.112.12},
)
@incollection(Busard-Pecheur-others-14,
 author       = {Simon Busard and Charles Pecheur and Hongyang Qu and Franco Raimondi},
 year         = {2014},
 title        = {Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints},
 booktitle    = {Formal Methods and Software Engineering},
 series       = {LNCS},
 volume       = {8829},
 publisher    = {Springer International Publishing},
 pages        = {27--42},
 doi          = {10.1007/978-3-319-11737-9_3},
)
@article(Busard-Pecheur-others-15,
 author       = {Simon Busard and Charles Pecheur and Hongyang Qu and Franco Raimondi},
 year         = {2015},
 title        = {Reasoning about memoryless strategies under partial observability and unconditional fairness constraints},
 journal      = {Information and Computation},
 volume       = {242},
 pages        = {128 -- 156},
 doi          = {10.1016/j.ic.2015.03.014},
)
@incollection(Calta-Shkatov-others-10,
 author       = {Jan Calta and Dmitry Shkatov and Holger Schlingloff},
 year         = {2010},
 title        = {Finding Uniform Strategies for Multi-agent Systems},
 booktitle    = {Computational Logic in Multi-Agent Systems},
 series       = {LNCS},
 volume       = {6245},
 publisher    = {Springer},
 pages        = {135--152},
 doi          = {10.1007/978-3-642-14977-1\_12},
)
@incollection(Cimatti-Clarke-others-02,
 author       = {Alessandro Cimatti and Edmund Clarke and Enrico Giunchiglia and Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto Sebastiani and Armando Tacchella},
 year         = {2002},
 title        = {{NuSMV} 2: An OpenSource Tool for Symbolic Model Checking},
 booktitle    = {Computer Aided Verification},
 publisher    = {Springer},
 pages        = {359--364},
 doi          = {10.1007/3-540-45657-0_29},
)
@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},
)
@article(Dima-Tiplea-11,
 author       = {Catalin Dima and Ferucio Laurentiu Tiplea},
 year         = {2011},
 title        = {Model-checking {ATL} under Imperfect Information and Perfect Recall Semantics is Undecidable},
 journal      = {CoRR},
 volume       = {abs/1102.4225},
 url          = {http://arxiv.org/abs/1102.4225},
)
@inproceedings(Huang-Meyden-14,
 author       = {Xiaowei Huang and Ron van der Meyden},
 year         = {2014},
 title        = {Symbolic Model Checking Epistemic Strategy Logic},
 booktitle    = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence},
 pages        = {1426--1432},
)
@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},
)
@inproceedings(Lomuscio-Raimondi-06,
 author       = {Alessio Lomuscio and Franco Raimondi},
 year         = {2006},
 title        = {Model checking knowledge, strategies, and games in multi-agent systems},
 booktitle    = {{AAMAS} 2006, Hakodate, Japan, May 8-12, 2006},
 pages        = {161--168},
 doi          = {10.1145/1160633.1160660},
)
@article(Peterson-Reif-others-02,
 author       = {G. Peterson and J. Reif and S. Azhar},
 year         = {2002},
 title        = {Decision algorithms for multiplayer noncooperative games of incomplete information},
 journal      = {Computers and Mathematics with Applications},
 volume       = {43},
 number       = {1},
 pages        = {179 -- 206},
 doi          = {10.1016/S0898-1221(01)00282-6},
)
@incollection(Pilecki-Bednarczyk-others-14,
 author       = {Jerzy Pilecki and Marek A. Bednarczyk and Wojciech Jamroga},
 year         = {2014},
 title        = {Synthesis and Verification of Uniform Strategies for Multi-agent Systems},
 booktitle    = {Computational Logic in Multi-Agent Systems},
 series       = {LNCS},
 volume       = {8624},
 publisher    = {Springer International Publishing},
 pages        = {166--182},
 doi          = {10.1007/978-3-319-09764-0_11},
)
@inbook(Ramanujam-Simon-10,
 author       = {R. Ramanujam and Sunil Simon},
 year         = {2010},
 title        = {A Communication Based Model for Games of Imperfect Information},
 pages        = {509--523},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-15375-4_35},
)
@article(Raskin-Chatterjee-others-07,
 author       = {Jean{-}Fran{\c{c}}ois Raskin and Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger},
 year         = {2007},
 title        = {Algorithms for Omega-Regular Games with Imperfect Information},
 journal      = {Logical Methods in Computer Science},
 volume       = {3},
 number       = {3},
 doi          = {10.2168/LMCS-3(3:4)2007},
)
@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},
)