@InProceedings{CJH04, author = {Chatterjee, Krishnendu and Jurdzi{\'n}ski, Marcin and Henzinger, Thomas A.}, title = {Quantitative Stochastic Parity Games}, booktitle = {Proceedings of ACM-SIAM Symposium on Discrete Algorithms, SODA 2004}, OPTcrossref = {}, OPTkey = {}, pages = {114--123}, year = {2004}, OPTeditor = {}, OPTvolume = {}, OPTnumber = {}, OPTseries = {}, OPTaddress = {}, OPTmonth = {}, OPTorganization = {}, publisher = {ACM/SIAM}, OPTnote = {}, OPTannote = {} }