Publications

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

BibTex Arxiv PDF