JAMROGA, Wojciech ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
T. Ågotnes. Action and knowledge in alternating-time temporal logic. Synthese, 149(2):377-409, 2006. Section on Knowledge, Rationality and Action.
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. Journal of the ACM, 49:672-713, 2002.
E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
C. Dima and F. Tiplea. Model-checking ATL under imperfect information and perfect recall semantics is undecidable. Submitted. Available at http://lacl.univ-paris12.fr/dima/work/atlir.html, 2011.
W. Jamroga and T. Ågotnes. Constructive knowledge: What agents can achieve under incomplete information. Journal of Applied Non-Classical Logics, 17(4):423-475, 2007.
W. Jamroga and J. Dix. Model checking ATLir is indeed Δ2P-complete. In Proceedings of EUMAS'06, 2006.
W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 63(2-3):185-219, 2004. (Pubitemid 41218159)
H. Schnoor. Strategic planning for probabilistic games with incomplete information. In Proceedings of AAMAS'10, pages 1057-1064, 2010.
P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2):82-93, 2004.
W. van der Hoek and M.Wooldridge. Cooperation, knowledge and time: Alternating-time Temporal Epistemic Logic and its applications. Studia Logica, 75(1):125-157, 2003.