@Article{KH12,
author={Krishnendu Chatterjee and Thomas A. Henzinger},
title={A survey of stochastic $\omega$-regular games},
journal={Journal of Computer and System Sciences},
year={2012},

volume={78},
number={2},
pages={394-413},
publisher={},
month={},
note={},
key={}
}