Markov decision processes with multiple objectives
K. Chatterjee, R. Majumdar, T.A. Henzinger, in:, Proceedings of the 23rd Annual Conference on Theoretical Aspects of Computer Science, Springer, 2006, pp. 325–336.

Strategy improvement and randomized subexponential algorithms for stochastic parity games
K. Chatterjee, T.A. Henzinger, in:, Proceedings of the 23rd Annual Conference on Theoretical Aspects of Computer Science, Springer, 2006, pp. 512–523.