Author:
Chatterjee Krishnendu,Henzinger Thomas A.
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49, 672–713 (2002)
2. Lecture Notes in Computer Science;A. Chakrabarti,2003
3. Chatterjee, K.: Concurrent games with tail objectives. Technical Report EECS-2005-1385, UC Berkeley (2005)
4. Chatterjee, K., de Alfaro, L., Henzinger, T.A.: The complexity of quantitative concurrent parity games. In: SODA 2006, pp. 678–687. ACM-SIAM (2006)
5. Chatterjee, K., de Alfaro, L., Henzinger, T.A.: Strategy improvement for concurrent reachability games. In: QEST 2006, pp. 291–300. IEEE (2006)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献