Author:
Chatterjee Krishnendu,Randour Mickael,Raskin Jean-François
Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2010
2. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
3. Bernet, J., Janin, D., Walukiewicz, I.: Permissive strategies: from parity games to safety games. ITA 36(3), 261–275 (2002)
4. Lecture Notes in Computer Science;R. Bloem,2009
5. Bloem, R., Greimel, K., Henzinger, T.A., Jobstmann, B.: Synthesizing robust systems. In: Proc. of FMCAD, pp. 85–92. IEEE (2009)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献