@inproceedings(AHM03,
 author       = "Luca {d}e Alfaro and Thomas A. Henzinger and Rupak Majumdar",
 year         = "2003",
 title        = "Discounting the Future in Systems Theory",
 booktitle    = "International Colloquium on Automata, Languages and Programming, ICALP",
 pages        = "1022--1037",
 doi          = "10.1007/3-540-45061-0\_79",
)
@inproceedings(AM09,
 author       = "Daniel Andersson and Peter Bro Miltersen",
 year         = "2009",
 title        = "The Complexity of Solving Stochastic Games on Graphs",
 booktitle    = "International Symposium on Algorithms and Computation, ISAAC",
 pages        = "112--121",
 doi          = "10.1007/978-3-642-10631-6\_13",
)
@article(CH08,
 author       = "Krishnendu Chatterjee and Thomas A. Henzinger",
 year         = "2008",
 title        = "Reduction of stochastic parity to stochastic mean-payoff games",
 journal      = "Information Processing Letters, IPL",
 volume       = "106",
 number       = "1",
 pages        = "1--7",
 doi          = "10.1016/j.ipl.2007.08.035",
)
@article(Con92-IC,
 author       = "Anne Condon",
 year         = "1992",
 title        = "{T}he {C}omplexity of {S}tochastic {G}ames",
 journal      = "Information and Computation",
 volume       = "96",
 number       = "2",
 pages        = "203--224",
 doi          = "10.1016/0890-5401(92)90048-K",
)
@inproceedings(Con93-DMTCS,
 author       = "Anne Condon",
 year         = "1993",
 title        = "{O}n {A}lgorithms for {S}imple {S}tochastic {G}ames",
 booktitle    = "{A}dvances in {C}omputational {C}omplexity {T}heory",
 series       = "DIMACS Series in Discrete Mathematics and Theoretical Computer Science",
 volume       = "13",
 publisher    = "American Mathematical Society",
 pages        = "51--73",
 doi          = "10.1.1.46.6099",
)
@article(Jur98,
 author       = "Marcin Jurdzi{\'n}ski",
 year         = "1998",
 title        = "Deciding the Winner in Parity Games is in {UP} $\cap $ co-{UP}",
 journal      = "Information Processing Letters, IPL",
 volume       = "68",
 number       = "3",
 pages        = "119--124",
 doi          = "10.1016/S0020-0190(98)00150-1",
)
@article(Stir99,
 author       = "Colin Stirling",
 year         = "1999",
 title        = "Bisimulation, Modal Logic and Model Checking Games",
 journal      = "Logic Journal of the IGPL",
 volume       = "7",
 number       = "1",
 pages        = "103--124",
 doi          = "10.1093/jigpal/7.1.103",
)
@incollection(Tho97,
 author       = "Wolfgang Thomas",
 year         = "1997",
 title        = "{Languages, Automata, and Logic}",
 editor       = "G. Rozenberg and A. Salomaa",
 booktitle    = "Handbook of Formal Languages",
 chapter      = "7",
 volume       = "3, Beyond Words",
 publisher    = "Springer",
 pages        = "389--455",
 doi          = "10.1.1.38.8643",
)
@article(ZP96,
 author       = "Uri Zwick and Mike Paterson",
 year         = "1996",
 title        = "The complexity of mean payoff games on graphs",
 journal      = "Theoretical Computer Science, TCS",
 volume       = "158",
 pages        = "343--359",
 doi          = "10.1016/0304-3975(95)00188-3",
)