@inproceedings(AR14,
 author       = {B. Aminof and S. Rubin},
 year         = {2014},
 title        = {First Cycle Games},
 booktitle    = {Proc. of SR},
 series       = {EPTCS 146},
 pages        = {83--90},
 doi          = {10.4204/EPTCS.146.11},
)
@article(BSV04,
 author       = {H. Bj{\"o}rklund and S. Sandberg and S. Vorobyov},
 year         = {2004},
 title        = {Memoryless Determinacy of Parity and Mean Payoff Games: A~Simple Proof},
 journal      = {Theoretical Computer Science},
 volume       = {310},
 number       = {1-3},
 pages        = {365--378},
 doi          = {10.1016/S0304-3975(03)00427-4},
)
@inproceedings(BCHJ09,
 author       = {R. Bloem and K. Chatterjee and T.A. Henzinger and B. Jobstmann},
 year         = {2009},
 title        = {Better Quality in Synthesis through Quantitative Objectives},
 booktitle    = {Proc. of CAV},
 series       = {LNCS 5643},
 publisher    = {Springer},
 pages        = {140--156},
 doi          = {10.1007/978-3-642-02658-4_14},
)
@inproceedings(BEGM15,
 author       = {E. Boros and K. Elbassioni and V. Gurvich and K. Makino},
 year         = {2015},
 title        = {{M}arkov Decision Processes and Stochastic Games with Total Effective Payoff},
 booktitle    = {Proc. of STACS},
 series       = {LIPIcs 30},
 publisher    = {Schloss Dagstuhl - LZI},
 pages        = {103--115},
 doi          = {10.4230/LIPIcs.STACS.2015.103},
)
@inproceedings(BFLMS08,
 author       = {P. Bouyer and U. Fahrenberg and K.G. Larsen and N. Markey and J. Srba},
 year         = {2008},
 title        = {Infinite Runs in Weighted Timed Automata with Energy Constraints},
 booktitle    = {Proc. of FORMATS},
 series       = {LNCS 5215},
 publisher    = {Springer},
 pages        = {33--47},
 doi          = {10.1007/978-3-540-85778-5_4},
)
@techreport(BMRLL15a,
 author       = {P. Bouyer and N. Markey and M. Randour and Larsen K.G. and S. Laursen},
 year         = {2015},
 title        = {Average-energy games},
 type         = {Research Report},
 institution  = {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France},
 url          = {http://www.lsv.ens-cachan.fr/~randour/papers/BMRLL15.pdf},
)
@inproceedings(BKKN14,
 author       = {T. Br{\'a}zdil and Kla{\v{s}}ka, D. and Ku{\v c}era, A. and P. Novotn{\'y}},
 year         = {2014},
 title        = {Minimizing Running Costs in Consumption Systems},
 booktitle    = {Proc. of CAV},
 series       = {LNCS 8559},
 publisher    = {Springer},
 pages        = {457--472},
 doi          = {10.1007/978-3-319-08867-9_30},
)
@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},
)
@inproceedings(CJLRR09,
 author       = {F. Cassez and J.J. Jessen and K.G. Larsen and J.-F. Raskin and P.-A. Reynier},
 year         = {2009},
 title        = {Automatic Synthesis of Robust and Optimal Controllers~-- An~Industrial Case Study},
 booktitle    = {Proc. of HSCC},
 series       = {LNCS 5469},
 publisher    = {Springer},
 pages        = {90--104},
 doi          = {10.1007/978-3-642-00602-9_7},
)
@inproceedings(emsoft2003-CAHS,
 author       = {A. Chakrabarti and L. de Alfaro and T.A. Henzinger and M. Stoelinga},
 year         = {2003},
 title        = {Resource Interfaces},
 booktitle    = {Proc. of EMSOFT},
 series       = {LNCS 2855},
 publisher    = {Springer},
 pages        = {117--133},
 doi          = {10.1007/978-3-540-45212-6_9},
)
@inproceedings(CD10,
 author       = {K. Chatterjee and L. Doyen},
 year         = {2010},
 title        = {Energy Parity Games},
 booktitle    = {Proc. of ICALP},
 series       = {LNCS 6199},
 publisher    = {Springer},
 pages        = {599--610},
 doi          = {10.1007/978-3-642-14162-1_50},
)
@article(Chatterjee201525,
 author       = {K. Chatterjee and L. Doyen and M. Randour and J.-F. Raskin},
 year         = {2015},
 title        = {Looking at mean-payoff and total-payoff through windows},
 journal      = {Information and Computation},
 volume       = {242},
 pages        = {25 -- 52},
 doi          = {10.1016/j.ic.2015.03.010},
)
@inproceedings(CP13,
 author       = {K. Chatterjee and V.S. Prabhu},
 year         = {2013},
 title        = {Quantitative timed simulation functions and refinement metrics for real-time systems},
 booktitle    = {Proc. of HSCC},
 publisher    = {{ACM}},
 pages        = {273--282},
 doi          = {10.1145/2461328.2461370},
)
@article(CRR14,
 author       = {K. Chatterjee and M. Randour and J.-F. Raskin},
 year         = {2014},
 title        = {Strategy synthesis for multi-dimensional quantitative objectives},
 journal      = {Acta Informatica},
 volume       = {51},
 number       = {3-4},
 pages        = {129--163},
 doi          = {10.1007/s00236-013-0182-6},
)
@article(EM79,
 author       = {A. Ehrenfeucht and J. Mycielski},
 year         = {1979},
 title        = {Positional strategies for mean payoff games},
 journal      = {International Journal of Game Theory},
 volume       = {8},
 number       = {2},
 pages        = {109--113},
 doi          = {10.1007/BF01768705},
)
@inproceedings(FJ13,
 author       = {J. Fearnley and M. Jurdzi{\'n}ski},
 year         = {2013},
 title        = {Reachability in two-clock timed automata is {PSPACE}-complete},
 booktitle    = {Proc. of ICALP},
 series       = {LNCS 7966},
 publisher    = {Springer},
 pages        = {212--223},
 doi          = {10.1007/978-3-642-39212-2_21},
)
@book(FV97,
 author       = {J. Filar and K. Vrieze},
 year         = {1997},
 title        = {Competitive {M}arkov decision processes},
 publisher    = {Springer},
)
@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(GS09,
 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},
)
@inproceedings(mfcs2004-GZ,
 author       = {H. Gimbert and W. Zielonka},
 year         = {2004},
 title        = {When Can You Play Positionnaly?},
 booktitle    = {Proc. of MFCS},
 series       = {LNCS 3153},
 publisher    = {Springer},
 pages        = {686--697},
 doi          = {10.1007/978-3-540-28629-5_53},
)
@inproceedings(GZ05,
 author       = {H. Gimbert and W. Zielonka},
 year         = {2005},
 title        = {Games Where You Can Play Optimally Without Any Memory},
 booktitle    = {Proc. of CONCUR},
 series       = {LNCS 3653},
 publisher    = {Springer},
 pages        = {428--442},
 doi          = {10.1007/11539452_33},
)
@proceedings(GTW02,
 editor       = {E. Gr{\"a}del and W. Thomas and T. Wilke},
 year         = {2002},
 title        = {Automata, Logics, and Infinite Games: A Guide to Current Research},
 series       = {LNCS 2500},
 publisher    = {Springer},
 doi          = {10.1007/3-540-36387-4},
)
@inproceedings(JLR13,
 author       = {L. Juhl and K.G. Larsen and J.-F. Raskin},
 year         = {2013},
 title        = {Optimal Bounds for Multiweighted and Parametrised Energy Games},
 booktitle    = {Theories of Programming and Formal Methods},
 series       = {LNCS 8051},
 publisher    = {Springer},
 pages        = {244--255},
 doi          = {10.1007/978-3-642-39698-4_15},
)
@article(ipl68(3)-Jur,
 author       = {M. Jurdzi{\'n}ski},
 year         = {1998},
 title        = {Deciding the Winner in Parity Games is in {UP}{\relax$\cap\relax \GenericError{ }{LaTeX Error: Bad math environment delimiter}{See the LaTeX manual or LaTeX Companion for explanation.}{Your command was ignored.\MessageBreak Type I <command> <return> to replace it with another command,\MessageBreak or <return> to continue without it.}}co-{UP}},
 journal      = {Information Processing Letters},
 volume       = {68},
 number       = {3},
 pages        = {119--124},
 doi          = {10.1016/S0020-0190(98)00150-1},
)
@article(JSL08,
 author       = {M. Jurdzi{\'n}ski and J. Sproston and F. Laroussinie},
 year         = {2008},
 title        = {Model Checking Probabilistic Timed Automata with One or Two Clocks},
 journal      = {Logical Methods in Computer Science},
 volume       = {4},
 number       = {3},
 doi          = {10.2168/LMCS-4(3:12)2008},
)
@article(Kar78,
 author       = {R.M. Karp},
 year         = {1978},
 title        = {A characterization of the minimum cycle mean in a digraph},
 journal      = {Discrete Mathematics},
 volume       = {23},
 number       = {3},
 doi          = {10.1016/0012-365X(78)90011-0},
)
@inproceedings(Kop06,
 author       = {E. Kopczynski},
 year         = {2006},
 title        = {Half-Positional Determinacy of Infinite Games},
 booktitle    = {Proc. of ICALP},
 series       = {LNCS 4052},
 publisher    = {Springer},
 pages        = {336--347},
 doi          = {10.1007/11787006_29},
)
@inproceedings(LLT05,
 author       = {P. Lafourcade and D. Lugiez and R. Treinen},
 year         = {2005},
 title        = {Intruder Deduction for \emph{AC}-Like Equational Theories with Homomorphisms},
 booktitle    = {Proc. of RTA},
 series       = {LNCS 3467},
 publisher    = {Springer},
 pages        = {308--322},
 doi          = {10.1007/978-3-540-32033-3_23},
)
@incollection(Ran13,
 author       = {M. Randour},
 year         = {2013},
 title        = {Automated Synthesis of Reliable and Efficient Systems Through Game Theory: A Case Study},
 booktitle    = {Proceedings of the European Conference on Complex Systems 2012},
 series       = {Springer Proceedings in Complexity XVII},
 publisher    = {Springer},
 pages        = {731--738},
 doi          = {10.1007/978-3-319-00395-5_90},
)
@phdthesis(Ran14,
 author       = {M. Randour},
 year         = {2014},
 title        = {Synthesis in Multi-Criteria Quantitative Games},
 school       = {University of Mons, Belgium},
)
@article(TV87,
 author       = {F. Thuijsman and O.J. Vrieze},
 year         = {1987},
 title        = {The bad match; A~total reward stochastic game},
 journal      = {OR Spektrum},
 volume       = {9},
 number       = {2},
 doi          = {10.1007/BF01732644},
)
@article(VCDHRR15,
 author       = {Y. Velner and K. Chatterjee and L. Doyen and T.A. Henzinger and A.M. Rabinovich and J.-F. Raskin},
 year         = {2015},
 title        = {The complexity of multi-mean-payoff and multi-energy games},
 journal      = {Inf. Comput.},
 volume       = {241},
 pages        = {177--196},
 doi          = {10.1016/j.ic.2015.03.001},
)
@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},
 number       = {1-2},
 pages        = {343--359},
 doi          = {10.1016/0304-3975(95)00188-3},
)