@article(BloemChatterjeeEtAl14,
 author       = {Roderick Bloem and Krishnendu Chatterjee and Karin Greimel and Thomas A. Henzinger and Georg Hofferek and Barbara Jobstmann and Bettina K{\"{o}}nighofer and Robert K{\"{o}}nighofer},
 year         = {2014},
 title        = {Synthesizing robust systems},
 journal      = {Acta Inf.},
 volume       = {51},
 number       = {3-4},
 pages        = {193--220},
 doi          = {10.1007/s00236-013-0191-5},
)
@inproceedings(BloemChatterjeeHenzingerJobstmann09,
 author       = {Roderick Bloem and Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann},
 year         = {2009},
 title        = {Better Quality in Synthesis through Quantitative Objectives},
 booktitle    = {CAV 2009},
 series       = {LNCS},
 volume       = {5643},
 publisher    = {Springer},
 pages        = {140--156},
 doi          = {10.1007/978-3-642-02658-4_14},
)
@inproceedings(BouyerMarkeyOlschewskiUmmels11,
 author       = {Patricia Bouyer and Nicolas Markey and J{\"{o}}rg Olschewski and Michael Ummels},
 year         = {2011},
 title        = {Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited},
 editor       = {Tevfik Bultan and Pao{-}Ann Hsiung},
 booktitle    = {ATVA 2011},
 series       = {LNCS},
 volume       = {6996},
 publisher    = {Springer},
 pages        = {135--149},
 doi          = {10.1007/978-3-642-24372-1_11},
)
@article(BouyerMarkeyRandourLarsenLaursen16,
 author       = {Patricia Bouyer and Nicolas Markey and Mickael Randour and Kim G. Larsen and Simon Laursen},
 year         = {2016},
 title        = {Average-energy games},
 journal      = {Act. Inf.},
 doi          = {10.1007/s00236-016-0274-1},
)
@article(BrimCDGR11,
 author       = {Lubos 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      = {Form. Meth. in Sys. Des.},
 volume       = {38},
 number       = {2},
 pages        = {97--118},
 doi          = {10.1007/s10703-010-0105-x},
)
@article(BruyereFiliotRandourRaskin17,
 author       = {V{\'{e}}ronique Bruy{\`{e}}re and Emmanuel Filiot and Mickael Randour and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2017},
 title        = {Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games},
 journal      = {Inf. Comput.},
 volume       = {254},
 pages        = {259--295},
 doi          = {10.1016/j.ic.2016.10.011},
)
@inproceedings(BruyereHautemRandour16,
 author       = {V{\'{e}}ronique Bruy{\`{e}}re and Quentin Hautem and Mickael Randour},
 year         = {2016},
 title        = {Window parity games: an alternative approach toward parity games with time bounds},
 editor       = {Domenico Cantone and Giorgio Delzanno},
 booktitle    = {GandALF 2016},
 series       = {{EPTCS}},
 volume       = {226},
 pages        = {135--148},
 doi          = {10.4204/EPTCS.226.10},
)
@inproceedings(CernyChatterjeeHenzingerRadhakrishnaSingh11,
 author       = {Pavol Cern{\'{y}} and Krishnendu Chatterjee and Thomas A. Henzinger and Arjun Radhakrishna and Rohit Singh},
 year         = {2011},
 title        = {Quantitative Synthesis for Concurrent Programs},
 editor       = {Ganesh Gopalakrishnan and Shaz Qadeer},
 booktitle    = {CAV 2011},
 series       = {LNCS},
 volume       = {6806},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-22110-1_20},
)
@article(ChatterjeeDoyen12,
 author       = {Krishnendu Chatterjee and Laurent Doyen},
 year         = {2012},
 title        = {Energy parity games},
 journal      = {Theo. Comp. Sci.},
 volume       = {458},
 pages        = {49--60},
 doi          = {10.1016/j.tcs.2012.07.038},
)
@inproceedings(ChatterjeeDoyenHenzingerRaskin10,
 author       = {Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Jean-Fran{\c{c}}ois Raskin},
 year         = {2010},
 title        = {{Generalized Mean-payoff and Energy Games}},
 editor       = {Kamal Lodaya and Meena Mahajan},
 booktitle    = {FSTTCS},
 series       = {LIPIcs},
 volume       = {8},
 pages        = {505--516},
 doi          = {10.4230/LIPIcs.FSTTCS.2010.505},
)
@article(ChatterjeeHenzingerHorn09,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Florian Horn},
 year         = {2009},
 title        = {Finitary winning in $\omega$-regular games},
 journal      = {ACM Trans. Comput. Log.},
 volume       = {11},
 number       = {1},
 doi          = {10.1145/1614431.1614432},
)
@inproceedings(ChatterjeeHenzingerHorn11,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Florian Horn},
 year         = {2011},
 title        = {The Complexity of Request-Response Games},
 booktitle    = {LATA 2011},
 series       = {LNCS},
 volume       = {6638},
 publisher    = {Springer},
 pages        = {227--237},
 doi          = {10.1007/978-3-642-21254-3_17},
)
@inproceedings(ChatterjeeHenzingerPiterman06,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Nir Piterman},
 year         = {2006},
 title        = {Algorithms for {B}{\"u}chi Games},
 booktitle    = {GDV},
 note         = {Available at \url{http://arxiv.org/abs/0805.2620}},
)
@inproceedings(DallalNeiderTabuada16,
 author       = {Eric Dallal and Daniel Neider and Paulo Tabuada},
 year         = {2016},
 title        = {Synthesis of safety controllers robust to unmodeled intermittent disturbances},
 booktitle    = {CDC 2016},
 organization = {IEEE},
 pages        = {7425--7430},
 doi          = {10.1109/CDC.2016.7799416},
)
@article(EhrenfeuchtMycielski79,
 author       = {Andrzej Ehrenfeucht and Jan Mycielski},
 year         = {1979},
 title        = {Positional strategies for mean payoff games},
 journal      = {Internat. J. Game Theory},
 volume       = {8},
 pages        = {109--113},
 doi          = {10.1007/BF01768705},
)
@article(FaymonvilleZimmermann14,
 author       = {Peter Faymonville and Martin Zimmermann},
 year         = {2017},
 title        = {Parametric Linear Dynamic Logic},
 journal      = {Inf. Comput.},
 volume       = {253},
 pages        = {237--256},
 doi          = {10.1016/j.ic.2016.07.009},
)
@article(FZ14,
 author       = {Nathana\"{e}l Fijalkow and Martin Zimmermann},
 year         = {2014},
 title        = {{P}arity and {S}treett {G}ames with {C}osts},
 journal      = {LMCS},
 volume       = {10},
 number       = {2},
 doi          = {10.2168/LMCS-10(2:14)2014},
)
@article(KupfermanPitermanVardi09,
 author       = {Orna Kupferman and Nir Piterman and Moshe Y. Vardi},
 year         = {2009},
 title        = {From liveness to promptness},
 journal      = {Form. Meth. in Sys. Des.},
 volume       = {34},
 number       = {2},
 pages        = {83--103},
 doi          = {10.1007/s10703-009-0067-z},
)
@article(Martin75,
 author       = {Donald A. Martin},
 year         = {1975},
 title        = {Borel determinacy},
 journal      = {Ann. of Math.},
 volume       = {102},
 pages        = {363--371},
 doi          = {10.2307/1971035},
)
@inproceedings(NeiderWeinertZimmermann18,
 author       = {Daniel Neider and Alexander Weinert and Martin Zimmermann},
 year         = {2018},
 title        = {Synthesizing Optimally Resilient Controllers},
 editor       = {Dan Ghika and Achim Jung},
 booktitle    = {CSL 2018},
 publisher    = {{Schloss Dagstuhl - LZI}},
 note         = {To appear},
)
@article(NerodeRemmelYakhnis96,
 author       = {Anil Nerode and Jeffrey B. Remmel and Alexander Yakhnis},
 year         = {1996},
 title        = {{M}c{N}aughton Games and Extracting Strategies for Concurrent Programs},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {78},
 number       = {1-3},
 pages        = {203--242},
 doi          = {10.1016/0168-0072(95)00032-1},
)
@inproceedings(ScheweWeinertZimmermann18,
 author       = {Sven Schewe and Alexander Weinert and Martin Zimmermann},
 year         = {2018},
 title        = {Parity Games with Weights},
 editor       = {Dan Ghika and Achim Jung},
 booktitle    = {CSL 2018},
 publisher    = {{Schloss Dagstuhl - LZI}},
 note         = {To appear},
)
@article(DBLP:journals/corr/abs-1209-3234,
 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(WallmeierHuettenThomas03,
 author       = {Nico Wallmeier and Patrick H\"utten and Wolfgang Thomas},
 year         = {2003},
 title        = {Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications},
 booktitle    = {CIAA 2003},
 series       = {LNCS},
 volume       = {2759},
 publisher    = {Springer},
 pages        = {11--22},
 doi          = {10.1007/3-540-45089-0_3},
)
@article(Weinert17,
 author       = {Alexander Weinert},
 year         = {2017},
 title        = {Quantitative Reductions and Vertex-Ranked Infinite Games},
 journal      = {arXiv},
 volume       = {abs/1704.00904},
 note         = {Available at \url{http://arxiv.org/abs/1704.00904}},
)
@inproceedings(WeinertZimmermann16,
 author       = {Alexander Weinert and Martin Zimmermann},
 year         = {2016},
 title        = {{Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs}},
 editor       = {Jean-Marc Talbot and Laurent Regnier},
 booktitle    = {{CSL 2016}},
 series       = {LIPIcs},
 volume       = {62},
 pages        = {31:1--31:17},
 doi          = {10.4230/LIPIcs.CSL.2016.31},
)
@article(ZwickPaterson95,
 author       = {Uri Zwick and Mike Paterson},
 year         = {1996},
 title        = {The complexity of mean payoff games on graphs},
 journal      = {Theo. Comp. Sci.},
 volume       = {158},
 number       = {1-2},
 pages        = {343--359},
 doi          = {10.1016/0304-3975(95)00188-3},
)