1. Lomuscio, A, Raimondi, F.: Model checking knowledge, strategies, and games in multi-agent systems. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, ACM, 161–168 (2006)
2. Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT press, Cambridge (1995)
3. Jamroga, W.: Some Remarks on Alternating Temporal Epistemic Logic. In: Proceedings of Formal Approaches to Multi-Agent Systems, FAMAS 2003, pp. 133–140 (2003)
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press, Cambridge (2008)
5. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)