@phdthesis(de1997formal,
 author       = "L. de Alfaro",
 year         = "1997",
 title        = "Formal verification of probabilistic systems",
 school       = "Stanford University",
)
@inproceedings(deAlfaro_CONCUR1999,
 author       = "L. de Alfaro",
 year         = "1999",
 title        = "Computing Minimum and Maximum Reachability Times in Probabilistic Systems",
 booktitle    = "Proc. of CONCUR",
 series       = "LNCS 1664",
 publisher    = "Springer",
 pages        = "66--81",
 doi          = "10.1007/3-540-48320-9\_7",
)
@inproceedings(DBLP:conf/fsttcs/BergerKSV08,
 author       = "N. Berger and N. Kapur and L.J. Schulman and V.V. Vazirani",
 year         = "2008",
 title        = "Solvency Games",
 booktitle    = "Proc. of FSTTCS",
 series       = "LIPIcs",
 volume       = "2",
 publisher    = "Schloss Dagstuhl - LZI",
 pages        = "61--72",
 doi          = "10.4230/LIPIcs.FSTTCS.2008.1741",
)
@article(bertsekas_MOR1991,
 author       = "D.P. Bertsekas and J.N. Tsitsiklis",
 year         = "1991",
 title        = "An analysis of stochastic shortest path problems",
 journal      = "Mathematics of Operations Research",
 volume       = "16",
 pages        = "580--595",
 doi          = "10.1287/moor.16.3.580",
)
@article(2014arXiv1402.1076B,
 author       = "A. {Bohy} and V. {Bruy{\`e}re} and J.-F. {Raskin}",
 year         = "2014",
 title        = "{Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes}",
 journal      = "CoRR",
 volume       = "abs/1402.1076",
 url          = "http://arxiv.org/abs/1402.1076",
)
@inproceedings(brazdil_LICS2013,
 author       = "T. Br{\'a}zdil and K. Chatterjee and V. Forejt and A. Kucera",
 year         = "2013",
 title        = "Trading Performance for Stability in {M}arkov Decision Processes",
 booktitle    = "Proc. of LICS",
 publisher    = "IEEE Computer Society",
 pages        = "331--340",
 doi          = "10.1109/LICS.2013.39",
)
@inproceedings(DBLP:conf/fsttcs/BrazdilCFNS13,
 author       = "T. Br{\'a}zdil and T. Chen and V. Forejt and P. Novotn{\'y} and A. Simaitis",
 year         = "2013",
 title        = "Solvency Markov Decision Processes with Interest",
 booktitle    = "Proc. of FSTTCS",
 series       = "LIPIcs",
 volume       = "24",
 publisher    = "Schloss Dagstuhl - LZI",
 pages        = "487--499",
 doi          = "10.4230/LIPIcs.FSTTCS.2013.487",
)
@article(BCDGR11,
 author       = "L. Brim and J. Chaloupka and L. Doyen and R. Gentilini and J.-F. Raskin",
 year         = "2011",
 title        = "Faster algorithms for mean-payoff games",
 journal      = "Formal Methods in System Design",
 volume       = "38",
 number       = "2",
 pages        = "97--118",
 doi          = "10.1007/s10703-010-0105-x",
)
@article(bruyere_arXiv2013,
 author       = "V. Bruy{\`e}re and E. Filiot and M. Randour and J.-F. Raskin",
 year         = "2013",
 title        = "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games",
 journal      = "CoRR",
 volume       = "abs/1309.5439",
 url          = "http://arxiv.org/abs/1309.5439",
)
@inproceedings(bruyere_STACS2014,
 author       = "V. Bruy{\`e}re and E. Filiot and M. Randour and J.-F. Raskin",
 year         = "2014",
 title        = "Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games",
 booktitle    = "Proc. of STACS",
 series       = "LIPIcs",
 volume       = "25",
 publisher    = "Schloss Dagstuhl - LZI",
 pages        = "199--213",
)
@inproceedings(chatterjee_MEMICS11,
 author       = "K. Chatterjee and L. Doyen",
 year         = "2011",
 title        = "Games and {M}arkov Decision Processes with Mean-payoff Parity and Energy Parity Objectives",
 booktitle    = "Proc. of MEMICS",
 series       = "LNCS",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-25929-6\_3",
)
@inproceedings(chatterjee_FSTTCS10,
 author       = "K. Chatterjee and L. Doyen and T.A. Henzinger and J.-F. Raskin",
 year         = "2010",
 title        = "Generalized Mean-payoff and Energy Games",
 booktitle    = "Proc. of FSTTCS",
 series       = "LIPIcs 8",
 publisher    = "Schloss Dagstuhl - LZI",
 pages        = "505--516",
 doi          = "10.4230/LIPIcs.FSTTCS.2010.505",
)
@inproceedings(chatterjee_ATVA2013,
 author       = "K. Chatterjee and L. Doyen and M. Randour and J.-F. Raskin",
 year         = "2013",
 title        = "Looking at Mean-Payoff and Total-Payoff through Windows",
 booktitle    = "Proc. of ATVA",
 series       = "LNCS 8172",
 publisher    = "Springer",
 pages        = "118--132",
 doi          = "10.1007/978-3-319-02444-8\_10",
)
@inproceedings(chatterjee_CONCUR2012,
 author       = "K. Chatterjee and M. Randour and J.-F. Raskin",
 year         = "2012",
 title        = "Strategy Synthesis for Multi-Dimensional Quantitative Objectives",
 booktitle    = "Proc. of CONCUR",
 series       = "LNCS 7454",
 publisher    = "Springer",
 pages        = "115--131",
 doi          = "10.1007/978-3-642-32940-1\_10",
)
@article(courcoubetis_JACM1995,
 author       = "C. Courcoubetis and M. Yannakakis",
 year         = "1995",
 title        = "The Complexity of Probabilistic Verification",
 journal      = "J. ACM",
 volume       = "42",
 number       = "4",
 pages        = "857--907",
 doi          = "10.1145/210332.210339",
)
@inproceedings(degorre_CSL2010,
 author       = "A. Degorre and L. Doyen and R. Gentilini and J.-F. Raskin and S. Torunczyk",
 year         = "2010",
 title        = "Energy and Mean-Payoff Games with Imperfect Information",
 booktitle    = "Proc. of CSL",
 series       = "LNCS 6247",
 publisher    = "Springer",
 pages        = "260--274",
 doi          = "10.1007/978-3-642-15205-4\_22",
)
@article(EM79,
 author       = "A. Ehrenfeucht and J. Mycielski",
 year         = "1979",
 title        = "Positional Strategies for Mean Payoff Games",
 journal      = "Int. Journal of Game Theory",
 volume       = "8",
 number       = "2",
 pages        = "109--113",
 doi          = "10.1007/BF01768705",
)
@book(filar1997,
 author       = "J. Filar and K. Vrieze",
 year         = "1997",
 title        = "Competitive {M}arkov decision processes",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4612-4054-9",
)
@article(FKR95,
 author       = "J.A. Filar and D. Krass and K.W. Ross",
 year         = "1995",
 title        = "Percentile Performance Criteria For Limiting Average {M}arkov Decision Processes",
 journal      = "Transactions on Automatic Control",
 pages        = "2--10",
 doi          = "10.1109/9.362904",
)
@book(garey_FNY1979,
 author       = "M.R. Garey and D.S. Johnson",
 year         = "1979",
 title        = "Computers and intractability: a guide to the Theory of {NP}-Completeness",
 publisher    = "Freeman New York",
)
@inproceedings(gawlitza2009,
 author       = "T. Gawlitza and H. Seidl",
 year         = "2009",
 title        = "Games through Nested Fixpoints",
 booktitle    = "Proc. of CAV",
 series       = "LNCS 5643",
 publisher    = "Springer",
 pages        = "291--305",
 doi          = "10.1007/978-3-642-02658-4\_24",
)
@article(glynn_SPL2002,
 author       = "P.W. Glynn and D. Ormoneit",
 year         = "2002",
 title        = "Hoeffding's inequality for uniformly ergodic {M}arkov chains",
 journal      = "Statistics \& Probability Letters",
 volume       = "56",
 number       = "2",
 pages        = "143--146",
 doi          = "10.1016/S0167-7152(01)00158-4",
)
@article(DBLP:journals/corr/HunterPR13,
 author       = "P. Hunter and G. A. P{\'e}rez and J.-F. Raskin",
 year         = "2013",
 title        = "Mean-payoff Games with Incomplete Information",
 journal      = "CoRR",
 volume       = "abs/1309.5462",
 url          = "http://arxiv.org/abs/1309.5462",
)
@article(jurdzinski98,
 author       = "M. Jurdzi\'nski",
 year         = "1998",
 title        = "Deciding the Winner in Parity Games is in {UP} $\cap $ co-{UP}",
 journal      = "Inf. Process. Lett.",
 volume       = "68",
 number       = "3",
 pages        = "119--124",
 doi          = "10.1016/S0020-0190(98)00150-1",
)
@article(liggett_SR69,
 author       = "T.M. Liggett and S.A. Lippman",
 year         = "1969",
 title        = "Stochastic games with perfect information and time average payoff",
 journal      = "Siam Review",
 volume       = "11",
 number       = "4",
 pages        = "604--607",
 doi          = "10.1137/1011093",
)
@inproceedings(mannor_ICML2011,
 author       = "S. Mannor and J.N. Tsitsiklis",
 year         = "2011",
 title        = "Mean-Variance Optimization in {M}arkov Decision Processes",
 booktitle    = "Proc. of ICML",
 publisher    = "Omnipress",
 pages        = "177--184",
)
@book(Puterman94,
 author       = "M.L. Puterman",
 year         = "1994",
 title        = "Markov decision processes: discrete stochastic dynamic programming",
 edition      = "1st",
 publisher    = "John Wiley \& Sons, Inc.",
 address      = "New York, NY, USA",
 doi          = "10.1002/9780470316887",
)
@article(tracol_ORL2009,
 author       = "M. Tracol",
 year         = "2009",
 title        = "Fast convergence to state-action frequency polytopes for {MDPs}",
 journal      = "Oper. Res. Lett.",
 volume       = "37",
 number       = "2",
 pages        = "123--126",
 doi          = "10.1016/j.orl.2008.12.003",
)
@inproceedings(vardi_FOCS85,
 author       = "M.Y. Vardi",
 year         = "1985",
 title        = "Automatic Verification of Probabilistic Concurrent Finite-State Programs",
 booktitle    = "Proc. of FOCS",
 publisher    = "IEEE Computer Society",
 pages        = "327--338",
 doi          = "10.1109/SFCS.1985.12",
)
@article(WL99,
 author       = "C. Wu and Y. Lin",
 year         = "1999",
 title        = "Minimizing Risk Models in {M}arkov Decision Processes with Policies Depending on Target Values",
 journal      = "Journal of Mathematical Analysis and Applications",
 volume       = "231",
 number       = "1",
 pages        = "47--67",
 doi          = "10.1006/jmaa.1998.6203",
)
@article(ZP96,
 author       = "U. Zwick and M. Paterson",
 year         = "1996",
 title        = "The complexity of mean payoff games on graphs",
 journal      = "Theoretical Computer Science",
 volume       = "158",
 pages        = "343--359",
 doi          = "10.1016/0304-3975(95)00188-3",
)