Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2006 |
Published |
Conference Paper |
IST-REx-ID: 4551
K. Chatterjee, R. Majumdar, and T. A. Henzinger, “Markov decision processes with multiple objectives,” in Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science, Marseille, France, 2006, vol. 3884, pp. 325–336.
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
K. Chatterjee and T. A. Henzinger, “Strategy improvement and randomized subexponential algorithms for stochastic parity games,” in Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science, Marseille, France, 2006, vol. 3884, pp. 512–523.
View
| DOI