References

  1. Thomas Agotnes, Valentin Goranko & Wojciech Jamroga (2007): Alternating-time Temporal Logics with Irrevocable Strategies. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '07. ACM, New York, NY, USA, pp. 15–24, doi:10.1145/1324249.1324256.
  2. Rajeev Alur, Thomas A. Henzinger & Orna Kupferman (2002): Alternating-time temporal logic. J. ACM 49(5), pp. 672–713, doi:10.1145/585265.585270.
  3. Francesco Belardinelli (2014): Reasoning about Knowledge and Strategies: Epistemic Strategy Logic. Technical Report. Université d'Evry, Laboratoire IBISC. Available at https://www.ibisc.univ-evry.fr/~belardinelli/Documents/sr2014.pdf.
  4. Nils Bulling, Jurgen Dix & Wojciech Jamroga (2010): Model Checking Logics of Strategic Ability: Complexity*. In: Mehdi Dastani, Koen V. Hindriks & John-Jules Charles Meyer: Specification and Verification of Multi-agent Systems. Springer US, pp. 125–159, doi:10.1007/978-1-4419-6984-2.
  5. Krishnendu Chatterjee, Thomas A. Henzinger & Nir Piterman (2010): Strategy logic. Inf. Comput. 208(6), pp. 677–693, doi:10.1016/j.ic.2009.07.004.
  6. Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995): Reasoning About Knowledge. The MIT Press.
  7. Peter Gammie & Ron van der Meyden (2004): MCK: Model Checking the Logic of Knowledge. In: Rajeev Alur & Doron Peled: CAV, Lecture Notes in Computer Science 3114. Springer, pp. 479–483, doi:10.1007/978-3-540-27813-9_41.
  8. Valentin Goranko & Wojciech Jamroga (2004): Comparing Semantics of Logics for Multi-Agent Systems. Synthese 139(2), pp. 241–280, doi:10.1023/B:SYNT.0000024915.66183.d1.
  9. Joseph Y. Halpern & Moshe Y. Vardi (1986): The Complexity of Reasoning about Knowledge and Time: Extended Abstract. In: Juris Hartmanis: STOC. ACM, pp. 304–315, doi:10.1145/12130.12161.
  10. Joseph Y. Halpern & Moshe Y. Vardi (1989): The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. J. Comput. Syst. Sci. 38(1), pp. 195–237, doi:10.1016/0022-0000(89)90039-1.
  11. Wiebe van der Hoek & Michael Wooldridge (2003): Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. Studia Logica 75(1), pp. 125–157, doi:10.1023/A:1026185103185.
  12. Wojciech Jamroga (2004): Some Remarks on Alternating Temporal Epistemic Logic. In: Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003), pp. 133–140.
  13. Wojciech Jamroga & Thomas Ågotnes (2007): Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4), pp. 423–475, doi:10.3166/jancl.17.423-475.
  14. Wojciech Jamroga & Wiebe van der Hoek (2004): Agents that Know How to Play. Fundam. Inform. 63(2-3), pp. 185–219. Available at http://iospress.metapress.com/content/xh738axb47d8rchf/.
  15. Geert Jonker (2003): Feasible strategies in Alternating-time Temporal Epistemic Logic. University of Utrecht.
  16. Alessio Lomuscio, Hongyang Qu & Franco Raimondi (2009): MCMAS: A Model Checker for the Verification of Multi-Agent Systems. In: A. Bouajjani & O. Maler: CAV, Lecture Notes in Computer Science 5643. Springer, pp. 682–688, doi:10.1007/978-3-642-02658-4_55.
  17. Fabio Mogavero, Aniello Murano, Giuseppe Perelli & Moshe Y. Vardi (2011): Reasoning About Strategies. CoRR abs/1112.6275. Available at http://arxiv.org/abs/1112.6275.
  18. David E. Muller & Paul E. Schupp (1987): Alternating Automata on Infinite Trees. Theor. Comput. Sci. 54, pp. 267–276, doi:10.1016/0304-3975(87)90133-2.
  19. Marc Pauly (2002): A Modal Logic for Coalitional Power in Games. J. Log. Comput. 12(1), pp. 149–166, doi:10.1093/logcom/12.1.149.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org