@inproceedings(DBLP:conf/lics/AshokCKWW20,
 author       = {Pranav Ashok and Krishnendu Chatterjee and Kret{\'{\i}}nsk{\'{y}}, Jan and Maximilian Weininger and Tobias Winkler},
 year         = {2020},
 title        = {Approximating Values of Generalized-Reachability Stochastic Games},
 booktitle    = {{LICS}},
 publisher    = {{ACM}},
 pages        = {102--115},
 doi          = {10.1145/3373718.3394761},
)
@inproceedings(DBLP:conf/cav/AshokKW19,
 author       = {Pranav Ashok and Kret{\'{\i}}nsk{\'{y}}, Jan and Maximilian Weininger},
 year         = {2019},
 title        = {{PAC} Statistical Model Checking for Markov Decision Processes and Stochastic Games},
 booktitle    = {{CAV} {(1)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11561},
 publisher    = {Springer},
 pages        = {497--519},
 doi          = {10.1007/978-3-030-25540-4\_29},
)
@book(BK08,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 publisher    = {{MIT} Press},
)
@inproceedings(ensure,
 author       = {Christel Baier and Joachim Klein and Linda Leuschner and David Parker and Sascha Wunderlich},
 year         = {2017},
 title        = {Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes},
 booktitle    = {{CAV} {(1)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10426},
 publisher    = {Springer},
 pages        = {160--180},
 doi          = {10.1007/978-3-319-63387-9\_8},
)
@inproceedings(atva,
 author       = {Tom{\'{a}}s Br{\'{a}}zdil and Krishnendu Chatterjee and Martin Chmelik and Vojtech Forejt and Kret{\'{\i}}nsk{\'{y}}, Jan and Marta~Z. Kwiatkowska and David Parker and Mateusz Ujma},
 year         = {2014},
 title        = {Verification of Markov Decision Processes Using Learning Algorithms},
 booktitle    = {{ATVA}},
 series       = {Lecture Notes in Computer Science},
 volume       = {8837},
 publisher    = {Springer},
 pages        = {98--114},
 doi          = {10.1007/978-3-319-11936-6\_8},
)
@article(CAH13,
 author       = {Krishnendu Chatterjee and Luca de~Alfaro and Thomas~A. Henzinger},
 year         = {2013},
 title        = {Strategy improvement for concurrent reachability and turn-based stochastic safety games},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {79},
 number       = {5},
 pages        = {640--657},
 doi          = {10.1016/j.jcss.2012.12.001},
)
@inproceedings(DBLP:journals/corr/abs-1106-1232,
 author       = {Krishnendu Chatterjee and Nathana{\"{e}}l Fijalkow},
 year         = {2011},
 title        = {A reduction from parity games to simple stochastic games},
 booktitle    = {GandALF},
 pages        = {74--86},
 doi          = {10.4204/EPTCS.54.6},
)
@inproceedings(DBLP:conf/mfcs/ChatterjeeHI17,
 author       = {Krishnendu Chatterjee and Kristoffer~Arnsfelt Hansen and Ibsen{-}Jensen, Rasmus},
 year         = {2017},
 title        = {Strategy Complexity of Concurrent Safety Games},
 booktitle    = {{MFCS}},
 series       = {LIPIcs},
 volume       = {83},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {55:1--55:13},
 doi          = {10.4230/LIPIcs.MFCS.2017.55},
)
@inproceedings(visurvey,
 author       = {Krishnendu Chatterjee and Thomas~A. Henzinger},
 year         = {2008},
 title        = {Value Iteration},
 booktitle    = {25 Years of Model Checking},
 series       = {Lecture Notes in Computer Science},
 volume       = {5000},
 publisher    = {Springer},
 pages        = {107--138},
 doi          = {10.1007/978-3-540-69850-0\_7},
)
@article(CH12,
 author       = {Krishnendu Chatterjee and Thomas~A. Henzinger},
 year         = {2012},
 title        = {A survey of stochastic {$\omega$}-regular games},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {78},
 number       = {2},
 pages        = {394--413},
 doi          = {10.1016/j.jcss.2011.05.002},
)
@inproceedings(DBLP:conf/cav/ChatterjeeHJR10,
 author       = {Krishnendu Chatterjee and Thomas~A. Henzinger and Barbara Jobstmann and Arjun Radhakrishna},
 year         = {2010},
 title        = {Gist: {A} Solver for Probabilistic Games},
 booktitle    = {{CAV}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6174},
 publisher    = {Springer},
 pages        = {665--669},
 doi          = {10.1007/978-3-642-14295-6\_57},
)
@inproceedings(DBLP:conf/fossacs/ChatterjeeSH08,
 author       = {Krishnendu Chatterjee and Koushik Sen and Thomas~A. Henzinger},
 year         = {2008},
 title        = {Model-Checking omega-Regular Properties of Interval {M}arkov Chains},
 booktitle    = {FoSSaCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {4962},
 publisher    = {Springer},
 pages        = {302--317},
 doi          = {10.1007/978-3-540-78499-9\_22},
)
@inproceedings(DBLP:conf/mfcs/ChenFKSW13,
 author       = {Taolue Chen and Vojtech Forejt and Marta~Z. Kwiatkowska and Aistis Simaitis and Clemens Wiltsche},
 year         = {2013},
 title        = {On Stochastic Games with Multiple Objectives},
 booktitle    = {{MFCS}},
 series       = {Lecture Notes in Computer Science},
 volume       = {8087},
 publisher    = {Springer},
 pages        = {266--277},
 doi          = {10.1007/978-3-642-40313-2\_25},
)
@inproceedings(DBLP:conf/tacas/ChengKLB11,
 author       = {Chih{-}Hong Cheng and Alois Knoll and Michael Luttenberger and Christian Buckl},
 year         = {2011},
 title        = {{GAVS+:} An Open Platform for the Research of Algorithmic Game Solving},
 booktitle    = {{TACAS}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6605},
 publisher    = {Springer},
 pages        = {258--261},
 doi          = {10.1007/978-3-642-19835-9\_22},
)
@inproceedings(DBLP:conf/dimacs/Condon90,
 author       = {Anne Condon},
 year         = {1990},
 title        = {On Algorithms for Simple Stochastic Games},
 booktitle    = {Advances In Computational Complexity Theory},
 series       = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
 volume       = {13},
 publisher    = {{DIMACS/AMS}},
 pages        = {51--71},
 doi          = {10.1090/dimacs/013/04},
)
@article(condonComplexity,
 author       = {Anne Condon},
 year         = {1992},
 title        = {The Complexity of Stochastic Games},
 journal      = {Inf. Comput.},
 volume       = {96},
 number       = {2},
 pages        = {203--224},
 doi          = {10.1016/0890-5401(92)90048-K},
)
@article(CY95,
 author       = {Costas Courcoubetis and Mihalis Yannakakis},
 year         = {1995},
 title        = {The Complexity of Probabilistic Verification},
 journal      = {J. {ACM}},
 volume       = {42},
 number       = {4},
 pages        = {857--907},
 doi          = {10.1145/210332.210339},
)
@article(DBLP:journals/algorithmica/DaiG11,
 author       = {Decheng Dai and Rong Ge},
 year         = {2011},
 title        = {Another Sub-exponential Algorithm for the Simple Stochastic Game},
 journal      = {Algorithmica},
 volume       = {61},
 number       = {4},
 pages        = {1092--1104},
 doi          = {10.1007/s00453-010-9413-1},
)
@article(TVI1,
 author       = {Peng Dai and Mausam and Daniel~S. Weld and Judy Goldsmith},
 year         = {2011},
 title        = {Topological Value Iteration Algorithms},
 journal      = {J. Artif. Intell. Res.},
 volume       = {42},
 pages        = {181--209},
 url          = {http://jair.org/papers/paper3390.html},
)
@book(FV97,
 author       = {J.~Filar and K.~Vrieze},
 year         = {1997},
 title        = {Competitive {Markov} Decision Processes},
 publisher    = {Springer-Verlag},
)
@inproceedings(GH08,
 author       = {Hugo Gimbert and Florian Horn},
 year         = {2008},
 title        = {Simple Stochastic Games with Few Random Vertices Are Easy to Solve},
 booktitle    = {FoSSaCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {4962},
 publisher    = {Springer},
 pages        = {5--19},
 doi          = {10.1007/978-3-540-78499-9\_2},
)
@article(BVI,
 author       = {Serge Haddad and Benjamin Monmege},
 year         = {2018},
 title        = {Interval iteration algorithm for MDPs and IMDPs},
 journal      = {Theor. Comput. Sci.},
 volume       = {735},
 pages        = {111--131},
 doi          = {10.1016/j.tcs.2016.12.003},
)
@inproceedings(DBLP:conf/tacas/HahnHHKKKPQRS19,
 author       = {Ernst~Moritz Hahn and Arnd Hartmanns and Christian Hensel and Michaela Klauck and Joachim Klein and Kret{\'{\i}}nsk{\'{y}}, Jan and David Parker and Tim Quatmann and Enno Ruijters and Marcel Steinmetz},
 year         = {2019},
 title        = {The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)},
 booktitle    = {{TACAS} {(3)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11429},
 publisher    = {Springer},
 pages        = {69--92},
 doi          = {10.1007/978-3-030-17502-3\_5},
)
@article(DBLP:journals/mst/HansenIM14,
 author       = {Kristoffer~Arnsfelt Hansen and Ibsen{-}Jensen, Rasmus and Peter~Bro Miltersen},
 year         = {2014},
 title        = {The Complexity of Solving Reachability Games Using Value and Strategy Iteration},
 journal      = {Theory Comput. Syst.},
 volume       = {55},
 number       = {2},
 pages        = {380--403},
 doi          = {10.1007/s00224-013-9524-6},
)
@inproceedings(OVI,
 author       = {Arnd Hartmanns and Benjamin~Lucien Kaminski},
 year         = {2020},
 title        = {Optimistic Value Iteration},
 booktitle    = {{CAV} {(2)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12225},
 publisher    = {Springer},
 pages        = {488--511},
 doi          = {10.1007/978-3-030-53291-8\_26},
)
@article(HK66,
 author       = {A.~J. Hoffman and R.~M. Karp},
 year         = {1966},
 title        = {On Nonterminating Stochastic Games},
 journal      = {Management Science},
 volume       = {12},
 number       = {5},
 pages        = {359--370},
 doi          = {10.1287/mnsc.12.5.359},
)
@inproceedings(IM12,
 author       = {Ibsen{-}Jensen, Rasmus and Peter~Bro Miltersen},
 year         = {2012},
 title        = {Solving Simple Stochastic Games with Few Coin Toss Positions},
 booktitle    = {{ESA}},
 series       = {Lecture Notes in Computer Science},
 volume       = {7501},
 publisher    = {Springer},
 pages        = {636--647},
 doi          = {10.1007/978-3-642-33090-2\_55},
)
@article(DBLP:journals/fmsd/KattenbeltKNP10,
 author       = {Mark Kattenbelt and Marta~Z. Kwiatkowska and Gethin Norman and David Parker},
 year         = {2010},
 title        = {A game-based abstraction-refinement framework for Markov decision processes},
 journal      = {Formal Methods in System Design},
 volume       = {36},
 number       = {3},
 pages        = {246--280},
 doi          = {10.1007/s10703-010-0097-6},
)
@inproceedings(KKKW18,
 author       = {Edon Kelmendi and Julia Kr{\"{a}}mer and Kret{\'{\i}}nsk{\'{y}}, Jan and Maximilian Weininger},
 year         = {2018},
 title        = {Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm},
 booktitle    = {{CAV} {(1)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10981},
 publisher    = {Springer},
 pages        = {623--642},
 doi          = {10.1007/978-3-319-96145-3\_36},
)
@article(kozlov1980polynomial,
 author       = {Mikhail~K Kozlov and Sergei~P Tarasov and Leonid~G Khachiyan},
 year         = {1980},
 title        = {The polynomial solvability of convex quadratic programming},
 journal      = {USSR Computational Mathematics and Mathematical Physics},
 volume       = {20},
 number       = {5},
 pages        = {223--228},
 doi          = {10.1016/0041-5553(80)90098-1},
)
@inproceedings(KM17,
 author       = {Kret{\'{\i}}nsk{\'{y}}, Jan and Tobias Meggendorfer},
 year         = {2017},
 title        = {Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes},
 booktitle    = {{ATVA}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10482},
 publisher    = {Springer},
 pages        = {380--399},
 doi          = {10.1007/978-3-319-68167-2\_25},
)
@inproceedings(cores,
 author       = {Kret{\'{\i}}nsk{\'{y}}, Jan and Tobias Meggendorfer},
 year         = {2019},
 title        = {Of Cores: {A} Partial-Exploration Framework for Markov Decision Processes},
 booktitle    = {{CONCUR}},
 series       = {LIPIcs},
 volume       = {140},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {5:1--5:17},
 doi          = {10.4230/LIPIcs.CONCUR.2019.5},
)
@article(techreport,
 author       = {Kret{\'{\i}}nsk{\'{y}}, Jan and Emanuel Ramneantu and Alexander Slivinskiy and Maximilian Weininger},
 year         = {2020},
 title        = {Comparison of Algorithms for Simple Stochastic Games (Full Version)},
 journal      = {CoRR},
 volume       = {abs/2008.09465},
)
@inproceedings(PRISM-games3,
 author       = {Marta Kwiatkowska and Gethin Norman and David Parker and Gabriel Santos},
 year         = {2020},
 title        = {PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time},
 booktitle    = {{CAV} {(2)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {12225},
 publisher    = {Springer},
 pages        = {475--487},
 doi          = {10.1007/978-3-030-53291-8\_25},
)
@article(DBLP:journals/iandc/Ludwig95,
 author       = {Walter Ludwig},
 year         = {1995},
 title        = {A Subexponential Randomized Algorithm for the Simple Stochastic Game Problem},
 journal      = {Inf. Comput.},
 volume       = {117},
 number       = {1},
 pages        = {151--155},
 doi          = {10.1006/inco.1995.1035},
)
@book(Puterman,
 author       = {Martin~L. Puterman},
 year         = {1994},
 title        = {Markov Decision Processes: Discrete Stochastic Dynamic Programming},
 series       = {Wiley Series in Probability and Statistics},
 publisher    = {Wiley},
 doi          = {10.1002/9780470316887},
)
@inproceedings(DBLP:conf/cav/QuatmannK18,
 author       = {Tim Quatmann and Joost{-}Pieter Katoen},
 year         = {2018},
 title        = {Sound Value Iteration},
 booktitle    = {{CAV} {(1)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10981},
 publisher    = {Springer},
 pages        = {643--661},
 doi          = {10.1007/978-3-319-96145-3\_37},
)
@article(DBLP:journals/entcs/Somla05,
 author       = {Rafal Somla},
 year         = {2005},
 title        = {New Algorithms for Solving Simple Stochastic Games},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {119},
 number       = {1},
 pages        = {51--65},
 doi          = {10.1016/j.entcs.2004.07.008},
)
@article(DBLP:journals/ejcon/SvorenovaK16,
 author       = {Mar{\'{\i}}a Svorenov{\'{a}} and Marta Kwiatkowska},
 year         = {2016},
 title        = {Quantitative verification and strategy synthesis for stochastic games},
 journal      = {Eur. J. Control},
 volume       = {30},
 pages        = {15--30},
 doi          = {10.1016/j.ejcon.2016.04.009},
)
@inproceedings(WMK19,
 author       = {Maximilian Weininger and Tobias Meggendorfer and Kret{\'{\i}}nsk{\'{y}}, Jan},
 year         = {2019},
 title        = {Satisfiability Bounds for {$\omega$}-Regular Properties in Bounded-Parameter Markov Decision Processes},
 booktitle    = {{CDC}},
 publisher    = {{IEEE}},
 pages        = {2284--2291},
 doi          = {10.1109/CDC40024.2019.9029460},
)
@article(DBLP:journals/tcs/ZwickP96,
 author       = {Uri Zwick and Mike Paterson},
 year         = {1996},
 title        = {The Complexity of Mean Payoff Games on Graphs},
 journal      = {Theor. Comput. Sci.},
 volume       = {158},
 number       = {1{\&}2},
 pages        = {343--359},
 doi          = {10.1016/0304-3975(95)00188-3},
)