Author:
Chatterjee Krishnendu,de Alfaro Luca,Henzinger Thomas A.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the AMS 138, 295–311 (1969)
2. Chatterjee, K., de Alfaro, L., Henzinger, T.A.: The complexity of stochastic Rabin and Streett games. Technical Report UCB/CSD-3-1355, UC Berkeley (2004)
3. Lecture Notes in Computer Science;K. Chatterjee,2003
4. Chatterjee, K., Jurdziński, M., Henzinger, T.A.: Quantitative stochastic parity games. In: SODA 2004, pp. 114–123. SIAM, Philadelphia (2004)
5. Condon, A.: The complexity of stochastic games. Information and Computation 96, 203–224 (1992)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献