@article{Chatterjee:2008:RSP:1343120.1343348,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Chatterjee, Krishnendu and Henzinger, Thomas A.},
    File = {Reduction of Stochastic Parity to Stochastic Mean-payoff Games - Chatterjee, Henzinger (3) (0) - a - a - s.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {Formal methods, Formal verification and model checking, Mean-payoff objectives, Parity objectives, Stochastic games},
    Month = {March},
    Number = {1},
    Pages = {1--7},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {Reduction of Stochastic Parity to Stochastic Mean-payoff Games},
    URL = {http://dx.doi.org/10.1016/j.ipl.2007.08.035},
    Volume = {106},
    Year = {2008},
    acmid = {1343348},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2007.08.035},
    date-added = {2014-02-10 15:13:14 +0000},
    date-modified = {2014-02-10 15:13:14 +0000},
    file-2 = {Reduction of Stochastic Parity to Stochastic Mean-payoff Games - Chatterjee, Henzinger (0) (0) - a - a - s.pdf},
    file-3 = {Reduction of Stochastic Parity to Stochastic Mean-payoff Games - Chatterjee, Henzinger (1) (0) - a - a - s.pdf},
    issue_date = {March, 2008},
    numpages = {7},
    doi = {10.1016/j.ipl.2007.08.035}
}

@article{Chatterjee:2008:RSP:1343120.1343348, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Chatterjee, Krishnendu and Henzinger, Thomas A.}, File = {Reduction of Stochastic Parity to Stochastic Mean-payoff Games - Chatterjee, Henzinger (3) (0) - a - a - s.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {Formal methods, Formal verification and model checking, Mean-payoff objectives, Parity objectives, Stochastic games}, Month = {March}, Number = {1}, Pages = {1--7}, Publisher = {Elsevier North-Holland, Inc.}, Title = {Reduction of Stochastic Parity to Stochastic Mean-payoff Games}, URL = {http://dx.doi.org/10.1016/j.ipl.2007.08.035}, Volume = {106}, Year = {2008}, acmid = {1343348}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2007.08.035}, date-added = {2014-02-10 15:13:14 +0000}, date-modified = {2014-02-10 15:13:14 +0000}, file-2 = {Reduction of Stochastic Parity to Stochastic Mean-payoff Games - Chatterjee, Henzinger (0) (0) - a - a - s.pdf}, file-3 = {Reduction of Stochastic Parity to Stochastic Mean-payoff Games - Chatterjee, Henzinger (1) (0) - a - a - s.pdf}, issue_date = {March, 2008}, numpages = {7}, doi = {10.1016/j.ipl.2007.08.035} }