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
Chatterjee K, Majumdar R, Henzinger TA. Markov decision processes with multiple objectives. In: Proceedings of the 23rd Annual Conference on Theoretical Aspects of Computer Science. Vol 3884. Springer; 2006:325-336. doi:10.1007/11672142_26
View
| DOI
2006 |
Published |
Conference Paper |
IST-REx-ID: 4538
Chatterjee K, Henzinger TA. Strategy improvement and randomized subexponential algorithms for stochastic parity games. In: Proceedings of the 23rd Annual Conference on Theoretical Aspects of Computer Science. Vol 3884. Springer; 2006:512-523. doi:10.1007/11672142_42
View
| DOI