Author:
Chatterjee Krishnendu,Doyen Laurent,Filiot Emmanuel,Raskin Jean-François
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49, 672–713 (2002)
2. Alur, R., La Torre, S.: Deterministic generators and games for LTL fragments. TOCL 5 (2004)
3. Lecture Notes in Computer Science;R. Alur,2003
4. Berwanger, D., Doyen, L.: On the power of imperfect information. In: FSTTCS, pp. 73–82 (2008)
5. Büchi, J.R., Landweber, L.H.: Definability in the monadic second-order theory of successor. J. Symb. Log. 34(2), 166–170 (1969)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献