Alternating-time logic with imperfect recall-Reference-Cited by-同舟云学术

Alternating-time logic with imperfect recall

Published:2004-04 Issue:2 Volume:85 Page:82-93
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Schobbens Pierre-Yves

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference11 articles.

1. R. Alur, T. A. Henzinger, F. Y. C. Mang, S. Qadeer, S. K. Rajamani, and S. Tasiran. MOCHA: Modularity in model checking. In Proc. 10th International Computer Aided Verification Conference, pages 521-525, 1998

2. R. Alur, T.A. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, pages 100-109. IEEE Computer Society Press, 1997

3. Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach;Clarke;ACM Transactions on Programming Languages and Systems,1986

4. Decision procedures and expressiveness in the temporal logic of branching time;Allen Emerson;Journal of Computer and System Sciences,1985

5. Valentin Goranko and Govert van Drimmelen. Complete axiomatization of the alternating-time temporal logic, 2003

Cited by 72 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Perspective Games;ACM Transactions on Computational Logic;2024-01-17

2. Coalition Alternating-Time Temporal Logic: A Logic to Find Good Coalitions to Achieve Strategic Objectives;Lecture Notes in Computer Science;2024

3. The Impact of Strategies and Information in Model Checking for Multi-Agent Systems;Electronic Proceedings in Theoretical Computer Science;2023-09-30

4. Model Checking for Probabilistic Multiagent Systems;Journal of Computer Science and Technology;2023-09

5. Pretty Good Strategies and Where to Find Them;Multi-Agent Systems;2023