Quantified Epistemic and Probabilistic ATL

Henning Schnoor


We introduce QAPI (quantified ATL with probabilism and incomplete information), which extends epistemic and probabilistic ATL with a flexible mechanism to reason about strategies in the object language, allowing very flexible treatment of the behavior of the “counter-coalition”. QAPI can express complex strategic properties such as equilibria. We show how related logics can be expressed in QAPI, provide bisimulation relations, and study the issues arising from the interplay between quantifiers and both epistemic and temporal operators.


  1. A° gotnes, T., Goranko, V., and Jamroga, W. (2007). Alternating-time temporal logics with irrevocable strategies. In (Samet, 2007), pages 15-24.
  2. Alur, R., Henzinger, T. A., and Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5):672-713.
  3. Brázdil, T., Brozek, V., Forejt, V., and Kucera, A. (2006). Stochastic games with branching-time winning objectives. In LICS, pages 349-358. IEEE Computer Society.
  4. Chatterjee, K., Henzinger, T. A., and Jurdzinski, M. (2006). Games with secure equilibria. Theor. Comput. Sci., 365(1-2):67-82.
  5. Chatterjee, K., Henzinger, T. A., and Piterman, N. (2007). Strategy logic. In Caires, L. and Vasconcelos, V. T., editors, CONCUR, volume 4703 of Lecture Notes in Computer Science, pages 59-73. Springer.
  6. Chen, T. and Lu, J. (2007). Probabilistic alternating-time temporal logic and model checking algorithm. In Lei, J., editor, FSKD (2), pages 35-39. IEEE Computer Society.
  7. Cortier, V., Küsters, R., and Warinschi, B. (2007). A cryptographic model for branching time security properties - the case of contract signing protocols. In Biskup, J. and Lopez, J., editors, ESORICS, volume 4734 of Lecture Notes in Computer Science, pages 422-437. Springer.
  8. Halpern, J. Y. and Moses, Y. (1990). Knowledge and common knowledge in a distributed environment. Journal of the ACM, 37:549-587.
  9. Herzig, A. and Troquard, N. (2006). Knowing how to play: uniform choices in logics of agency. In Nakashima, H., Wellman, M. P., Weiss, G., and Stone, P., editors, AAMAS, pages 209-216. ACM.
  10. Jamroga, W. (2004). Some remarks on alternating temporal epistemic logic. In Proceedings of Formal Approaches to Multi-Agent Systems (FAMAS 2003, pages 133-140.
  11. Jamroga, W. and van der Hoek, W. (2004). Agents that know how to play. Fundamenta Informaticae, 63(2- 3):185-219.
  12. Samet, D., editor (2007). Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007.
  13. Schnoor, H. (2010a). Explicit strategies and quantification for ATL with incomplete information and probabilistic games. Technical Report 1008, Institut für Informatik, Christian-Albrechts-Universität zu Kiel.
  14. Schnoor, H. (2010b). Strategic planning for probabilistic games with incomplete information. In van der Hoek, W., Kaminka, G. A., Lespérance, Y., Luck, M., and Sen, S., editors, AAMAS, pages 1057-1064. IFAAMAS.
  15. Schnoor, H. (2012). Deciding epistemic and strategic properties of cryptographic protocols. In Foresti, S., Yung, M., and Martinelli, F., editors, ESORICS, volume 7459 of Lecture Notes in Computer Science, pages 91-108. Springer.
  16. Schobbens, P.-Y. (2004). Alternating-time logic with imperfect recall. Electronis Notes in Theoretical Computer Science, 85(2):82-93.
  17. Walther, D., van der Hoek, W., and Wooldridge, M. (2007). Alternating-time temporal logic with explicit strategies. In (Samet, 2007), pages 269-278.

Paper Citation

in Harvard Style

Schnoor H. (2013). Quantified Epistemic and Probabilistic ATL . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8565-39-6, pages 14-23. DOI: 10.5220/0004189300140023

in Bibtex Style

author={Henning Schnoor},
title={Quantified Epistemic and Probabilistic ATL},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},

in EndNote Style

JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Quantified Epistemic and Probabilistic ATL
SN - 978-989-8565-39-6
AU - Schnoor H.
PY - 2013
SP - 14
EP - 23
DO - 10.5220/0004189300140023