@article(AlurETP01,
 author       = {Rajeev Alur and Kousha Etessami and {La Torre}, Salvatore and Doron Peled},
 year         = {2001},
 title        = {Parametric temporal logic for "model measuring"},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {2},
 number       = {3},
 pages        = {388--407},
 doi          = {10.1145/377978.377990},
)
@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},
 editor       = {Ahmed Bouajjani and Oded Maler},
 booktitle    = {CAV 2009},
 series       = {LNCS},
 volume       = {5643},
 publisher    = {Springer},
 pages        = {140--156},
 doi          = {10.1007/978-3-642-02658-4\_14},
)
@inproceedings(BEGM15,
 author       = {Endre Boros and Khaled M. Elbassioni and Vladimir Gurvich and Kazuhisa Makino},
 year         = {2015},
 title        = {Markov Decision Processes and Stochastic Games with Total Effective Payoff},
 editor       = {Ernst W. Mayr and Nicolas Ollinger},
 booktitle    = {{STACS} 2015},
 series       = {LIPIcs},
 volume       = {30},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {103--115},
 doi          = {10.4230/LIPIcs.STACS.2015.103},
)
@incollection(bouyer2008,
 author       = {Patricia Bouyer and Uli Fahrenberg and Kim G.\ Larsen and Nicolas Markey and Ji{\v{r}}{\'\i} Srba},
 year         = {2008},
 title        = {Infinite runs in weighted timed automata with energy constraints},
 editor       = {Franck Cassez and Claude Jard},
 booktitle    = {Formats 2008},
 series       = {LNCS},
 volume       = {5215},
 publisher    = {Springer},
 pages        = {33--47},
 doi          = {10.1007/978-3-540-85778-5\_4},
)
@inproceedings(AvENgergy15,
 author       = {Patricia Bouyer and Nicolas Markey and Mickael Randour and Kim G. Larsen and Simon Laursen},
 year         = {2015},
 title        = {Average-energy games},
 editor       = {Javier Esparza and Enrico Tronci},
 booktitle    = {GandALF 2015},
 series       = {EPTCS},
 volume       = {193},
 publisher    = {Open Publishing Association},
 pages        = {1--15},
 doi          = {10.4204/EPTCS.193.1},
)
@inproceedings(DBLP:conf/cav/BrazdilCKN12,
 author       = {Tom{\'{a}}s Br{\'{a}}zdil and Krishnendu Chatterjee and Anton{\'{\i}}n Kucera and Petr Novotn{\'{y}}},
 year         = {2012},
 title        = {Efficient Controller Synthesis for Consumption Games with Multiple Resource Types},
 editor       = {P. Madhusudan and Sanjit A. Seshia},
 booktitle    = {CAV 2012},
 series       = {LNCS},
 volume       = {7358},
 publisher    = {Springer},
 pages        = {23--38},
 doi          = {10.1007/978-3-642-31424-7\_8},
)
@article(BCDGR11,
 author       = {Lubo{\v s} Brim and Jakub Chaloupka and Laurent Doyen and Raffaella Gentilini and Jean-Fran{\c c}ois 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       = {Franck Cassez and Jan J. Jensen and Kim G.\ Larsen and Jean-Fran{\c c}ois Raskin and Pierre-Alain Reynier},
 year         = {2009},
 title        = {Automatic Synthesis of Robust and Optimal Controllers~-- An~Industrial Case Study},
 editor       = {Rupak Majumdar and Paulo Tabuada},
 booktitle    = {{HSCC} 2009},
 series       = {LNCS},
 volume       = {5469},
 publisher    = {Springer},
 pages        = {90--104},
 doi          = {10.1007/978-3-642-00602-9\_7},
)
@inproceedings(emsoft2003-CAHS,
 author       = {Arindam Chakrabarti and Luca de Alfaro and Thomas A. Henzinger and Mari{\"e}lle Stoelinga},
 year         = {2003},
 title        = {Resource Interfaces},
 editor       = {Rajeev Alur and Insup Lee},
 booktitle    = {{EMSOFT} 2003},
 series       = {LNCS},
 volume       = {2855},
 publisher    = {Springer},
 pages        = {117--133},
 doi          = {10.1007/978-3-540-45212-6\_9},
)
@article(DBLP:journals/tcs/ChatterjeeD12,
 author       = {Krishnendu Chatterjee and Laurent Doyen},
 year         = {2012},
 title        = {Energy parity games},
 journal      = {Theor. Comput. Sci.},
 volume       = {458},
 pages        = {49--60},
 doi          = {10.1016/j.tcs.2012.07.038},
)
@inproceedings(ChatterjeeHJ05,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Marcin Jurdzi\'nski},
 year         = {2005},
 title        = {Mean-Payoff Parity Games},
 booktitle    = {{LICS} 2005},
 publisher    = {{IEEE} Computer Society},
 pages        = {178--187},
 doi          = {10.1109/LICS.2005.26},
)
@article(Chatterjee2013,
 author       = {Krishnendu Chatterjee and Mickael Randour and Jean-Fran{\c{c}}ois Raskin},
 year         = {2013},
 title        = {Strategy synthesis for multi-dimensional quantitative objectives},
 journal      = {Acta Informatica},
 volume       = {51},
 number       = {3},
 pages        = {129--163},
 doi          = {10.1007/s00236-013-0182-6},
)
@article(EhrenfeuchtM79,
 author       = {A. Ehrenfeucht and J. Mycielski},
 year         = {1979},
 title        = {Positional strategies for mean payoff games},
 journal      = {International Journal of Game Theory},
 volume       = {8},
 pages        = {109--113},
 doi          = {10.1007/BF01768705},
)
@mastersthesis(EF13,
 author       = {Ejsing{-}Dunn, Daniel and Lisa Fontani},
 year         = {2013},
 title        = {Infinite Runs in Recharge Automata},
 school       = {Computer Science Department, Aalborg University, Denmark},
 note         = {Available at \url{http://www.cassting-project.eu/wp-content/uploads/master13-EF.pdf}},
)
@inproceedings(EmersonJutla91,
 author       = {E. Allen Emerson and Charanjit S. Jutla},
 year         = {1991},
 title        = {Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)},
 booktitle    = {FOCS 1991},
 publisher    = {IEEE},
 pages        = {368--377},
 doi          = {10.1109/SFCS.1991.185392},
)
@inproceedings(FahrenbergJLS11,
 author       = {Uli Fahrenberg and Line Juhl and Kim G. Larsen and Ji{\v{r}}{\'\i} Srba},
 year         = {2011},
 title        = {Energy Games in Multiweighted Automata},
 editor       = {Antonio Cerone and Pekka Pihlajasaari},
 booktitle    = {{ICTAC} 2011},
 series       = {LNCS},
 volume       = {6916},
 publisher    = {Springer},
 pages        = {95--115},
 doi          = {10.1007/978-3-642-23283-1\_9},
)
@inproceedings(FaymonvilleZ14,
 author       = {Peter Faymonville and Martin Zimmermann},
 year         = {2014},
 title        = {Parametric Linear Dynamic Logic},
 editor       = {Adriano Peron and Carla Piazza},
 booktitle    = {GandALF 2014},
 series       = {{EPTCS}},
 volume       = {161},
 pages        = {60--73},
 doi          = {10.4204/EPTCS.161.8},
)
@book(thomas2002automata,
 editor       = {Erich Gr{\"{a}}del and Wolfgang Thomas and Thomas Wilke},
 year         = {2002},
 title        = {Automata, Logics, and Infinite Games: {A} Guide to Current Research},
 series       = {LNCS},
 volume       = {2500},
 publisher    = {Springer},
 doi          = {10.1007/3-540-36387-4},
)
@inproceedings(Juhl13,
 author       = {Line Juhl and Kim G.\ Larsen and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2013},
 title        = {Optimal Bounds for Multiweighted and Parametrised Energy Games},
 editor       = {Zhiming Liu and Jim Woodcock and Huibiao Zhu},
 booktitle    = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday},
 series       = {LNCS},
 volume       = {8051},
 publisher    = {Springer},
 pages        = {244--255},
 doi          = {10.1007/978-3-642-39698-4\_15},
)
@article(JurdzinskiSL08,
 author       = {Marcin Jurdzi{\'n}ski and Jeremy Sproston and Fran{\c{c}}ois Laroussinie},
 year         = {2008},
 title        = {Model Checking Probabilistic Timed Automata with One or Two Clocks},
 journal      = {LMCS},
 volume       = {4},
 number       = {3},
 doi          = {10.2168/LMCS-4(3:12)2008},
)
@article(Konig27,
 author       = {D{\'e}nes K{\"o}nig},
 year         = {1927},
 title        = {{\"U}ber eine Schlussweise aus dem Endlichen ins Unendliche},
 journal      = {Acta Litt. ac. sci. Szeged},
 volume       = {3},
 pages        = {121--130},
)
@article(KupfermanPV09,
 author       = {Orna Kupferman and Nir Piterman and Moshe Y. Vardi},
 year         = {2009},
 title        = {From liveness to promptness},
 journal      = {Formal Methods in System Design},
 volume       = {34},
 number       = {2},
 pages        = {83--103},
 doi          = {10.1007/s10703-009-0067-z},
)
@techreport(Mostowski91,
 author       = {Andrzej Mostowski},
 year         = {1991},
 title        = {Games with Forbidden Positions},
 type         = {Technical Report},
 number       = {78},
 institution  = {University of Gda\'nsk},
)
@incollection(Ran13,
 author       = {Mickael Randour},
 year         = {2013},
 title        = {Automated Synthesis of Reliable and Efficient Systems Through Game Theory: A Case Study},
 editor       = {Thomas Gilbert and Markus Kirkilionis and Gregoire Nicolis},
 booktitle    = {ECCS 2012},
 series       = {Springer Proceedings in Complexity},
 publisher    = {Springer},
 pages        = {731--738},
 doi          = {10.1007/978-3-319-00395-5\_90},
)
@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},
 pages        = {93--99},
 doi          = {10.1007/BF01732644},
)
@article(VelnerC0HRR15,
 author       = {Yaron Velner and Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Alexander Moshe Rabinovich and Jean{-}Fran{\c{c}}ois 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},
)
@inproceedings(Z15,
 author       = {Martin Zimmermann},
 year         = {2015},
 title        = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier than {LTL}},
 editor       = {Javier Esparza and Enrico Tronci},
 booktitle    = {GandALF 2015},
 series       = {{EPTCS}},
 volume       = {193},
 publisher    = {Open Publishing Association},
 pages        = {144--157},
 doi          = {10.4204/EPTCS.193.11},
)
@article(Zwick96,
 author       = {Uri Zwick and Mike Paterson},
 year         = {1996},
 title        = {The complexity of mean payoff games on graphs},
 journal      = {TCS},
 volume       = {158},
 number       = {1-2},
 pages        = {343--359},
 doi          = {10.1016/0304-3975(95)00188-3},
)