Publications

Preprints


Journal Articles


Holler, Martin, Chatterjee, Krishnendu and Henzinger, Thomas A. A survey of stochastic $\omega$-regular games. Journal of Computer and System Sciences, 78(2):394--413, 2012

Proceedings


Ashoka, Pranav and Chatterjee, Krishnendu and Daca, Przemyslaw and Kretinsky, Jan and Nguyen, T and Meggendorfer, Tobias. Value iteration for long-run average reward in Markov decision processes.

Books