@inproceedings{CHH09-MFCS, author = {Krishnendu Chatterjee and Thomas A. Henzinger and Florian Horn}, title = {{Stochastic Games with Finitary Objectives}}, booktitle = {{Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS'09}}, series = {Lecture Notes in Computer Science}, volume = 5734, publisher = {Springer-Verlag}, year = {2009}, pages = {34--54}, }