Author:
Alur Rajeev,La Torre Salvatore,Madhusudan P.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;M. Abadi,1989
2. Lecture Notes in Computer Science;R. Alur,1999
3. Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 1–42 (2002)
4. Alur, R., La Torre, S.: Deterministic generators and games for LTL fragments. In: Proc. of LICS 2001, pp. 291–302 (2001)
5. Chandra, A., Kozen, D., Stockmeyer, L.: Alternation. Journal of the ACM 28(1), 114–133 (1981)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Good-Enough Synthesis;Computer Aided Verification;2020
2. Robust, Expressive, and Quantitative Linear Temporal Logics: Pick any Two for Free;Electronic Proceedings in Theoretical Computer Science;2019-09-18
3. Computer Aided Synthesis: A Game-Theoretic Approach;Developments in Language Theory;2017
4. Visibly Pushdown Modular Games;Electronic Proceedings in Theoretical Computer Science;2014-08-24
5. Tree games with regular objectives;Electronic Proceedings in Theoretical Computer Science;2014-08-24