REFERENCES
- Alur , R. , T. Henzinger , and O. Kupferman . 1998 . Alternating-time temporal logic. In Proceedings of COMPOS'97, volume 1536 of LNCS, 23–60. Bad Malente, Germany: Springer-Verlag .
- Alur , R. , T. Henzinger , and O. Kupferman . 2002 . Alternating-time temporal logic . Journal of the ACM 49 ( 5 ): 672 – 713 .
- Bulling , N. , J. Dix , and W. Jamroga . 2010 . Model checking logics of strategic ability: Complexity . In Specification and verification of multi-agent systems , eds. M. Dastani , K. V. Hindriks and J.-J. C. Meyer , 125 – 160 . Springer .
- Dima , C. , C. Enea , and D. Guelev . 2010 . Model-checking an alternating-time temporal logic with knowledge, imperfect information, perfect recall and communicating coalitions . Electronic Proceedings in Theoretical Computer Science 25 : 103 – 117 .
- Fagin , R. , J. Halpern , Y. Moses , and M. Vardi . 2004 . Reasoning about knowledge . Cambrige , MA. : MIT Press .
- Jamroga , W. , and T. Agotnes . 2007 . Constructive knowledge: What agents can achieve under imperfect information . Journal of Applied Non-Classical Logics , 17 ( 4 ): 423 – 475 .
- Jamroga , W. , and W. van der Hoek . 2004 . Agents that know how to play . Fundamenta Informaticae 63 ( 2–3 ): 185 – 219 .
- Lomuscio , A. , and W. Penczek . 2007 . Logic column 19: Symbolic model checking for temporal-epistemic logics. CoRR abs/0709.0446.
- Schobbens , P.-Y. 2004 . Alternating-time logic with imperfect recall . Electronic Notes in Theoretical Computer Science 85 ( 2 ): 82 – 93 .
- Shilov , N. V. , and N. O. Garanina . 2002 . Model checking knowledge and fixpoints. In Proceedings of FICS'02, 25–39. (Extended version available as Preprint 98, Ershov Institute of Informatics, Novosibirsk).
- van Benthem , J. , and E. Pacuit . 2006 . The tree of knowledge in action: Towards a common perspective. In Proceedings of AiML'06, 87–106. Queensland, Australia: College Publications .
- van der Meyden , R. 1998 . Common knowledge and update in finite environments . Information and Computation 140 ( 2 ): 115 – 157 .
- van der Meyden , R. , and N. V. Shilov . 1999 . Model checking knowledge and time in systems with perfect recall (extended abstract). In Proceedings of FSTTCS'99, vol. 1738 of LNCS, 432–445 . Chennai, India.