@article(DBLP:journals/tocl/AlurETP01,
 author       = {Rajeev Alur and Kousha Etessami and Salvatore La Torre and Doron A. 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},
)
@article(DBLP:journals/dam/BjorklundV07,
 author       = {Henrik Bj{\"{o}}rklund and Sergei G. Vorobyov},
 year         = {2007},
 title        = {A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games},
 journal      = {Discret. Appl. Math.},
 volume       = {155},
 number       = {2},
 pages        = {210--229},
 doi          = {10.1016/j.dam.2006.04.029},
)
@inproceedings(DBLP:conf/cav/BloemCHJ09,
 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},
)
@article(DBLP:journals/acta/BouyerMRLL18,
 author       = {Patricia Bouyer and Nicolas Markey and Mickael Randour and Kim G. Larsen and Simon Laursen},
 year         = {2018},
 title        = {Average-energy games},
 journal      = {Acta Informatica},
 volume       = {55},
 number       = {2},
 pages        = {91--127},
 doi          = {10.1007/s00236-016-0274-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},
)
@inproceedings(DBLP:conf/concur/BrihayeGHM15,
 author       = {Thomas Brihaye and Gilles Geeraerts and Axel Haddad and Benjamin Monmege},
 year         = {2015},
 title        = {To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games},
 editor       = {Luca Aceto and David de Frutos{-}Escrig},
 booktitle    = {{CONCUR} 2015},
 series       = {LIPIcs},
 volume       = {42},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f\IeC{\"u}r Informatik},
 pages        = {297--310},
 doi          = {10.4230/LIPIcs.CONCUR.2015.297},
)
@article(DBLP:journals/iandc/BruyereFRR17,
 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},
)
@article(BuechiLandweber69,
 author       = {J. Richard B\"uchi and Lawrence H. Landweber},
 year         = {1969},
 title        = {Solving Sequential Conditions by Finite-State Strategies},
 journal      = {Trans. Amer. Math. Soc.},
 volume       = {138},
 pages        = {pp. 295--311},
 doi          = {10.2307/1994916},
)
@inproceedings(Cachat02,
 author       = {Thierry Cachat},
 year         = {2002},
 title        = {Symbolic Strategy Synthesis for Games on Pushdown Graphs},
 booktitle    = {{ICALP} 2002},
 series       = {LNCS},
 volume       = {2380},
 publisher    = {Springer},
 pages        = {704--715},
 doi          = {10.1007/3-540-45465-9\_60},
)
@inproceedings(CarayolH18,
 author       = {Arnaud Carayol and Matthew Hague},
 year         = {2018},
 title        = {Optimal Strategies in Pushdown Reachability Games},
 booktitle    = {{MFCS} 2018},
 series       = {LIPIcs},
 volume       = {117},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f\IeC{\"u}r Informatik},
 pages        = {42:1--42:14},
 doi          = {10.4230/LIPIcs.MFCS.2018.42},
)
@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},
)
@article(DBLP:journals/tocl/ChatterjeeHH09,
 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},
 pages        = {1:1--1:27},
 doi          = {10.1145/1614431.1614432},
)
@inproceedings(DBLP:conf/lics/ChatterjeeHJ05,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Marcin Jurdzinski},
 year         = {2005},
 title        = {Mean-Payoff Parity Games},
 booktitle    = {LICS 2005},
 publisher    = {{IEEE} Computer Society},
 pages        = {178--187},
 doi          = {10.1109/LICS.2005.26},
)
@article(CHP08,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Nir Piterman},
 year         = {2008},
 title        = {Algorithms for B{\"{u}}chi Games},
 journal      = {arXiv},
 volume       = {0805.2620},
 url          = {http://arxiv.org/abs/0805.2620},
)
@article(DBLP:journals/acta/ChatterjeeRR14,
 author       = {Krishnendu Chatterjee and Mickael Randour and Jean{-}Fran{\c{c}}ois 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},
)
@inproceedings(Church63,
 author       = {Alonzo Church},
 year         = {1963},
 title        = {Logic, arithmetic, and automata},
 booktitle    = {Proc. Int. Congr. Math. 1962},
 publisher    = {Inst. Mittag-Lefler, Djursholm, Sweden},
 pages        = {23--35},
)
@incollection(DoyenRaskin11,
 author       = {L. Doyen and J.-F. Raskin},
 year         = {2011},
 title        = {Games with Imperfect Information: Theory and Algorithms},
 booktitle    = {Lectures in Game Theory for Computer Scientists},
 publisher    = {Cambridge University Press},
 pages        = {185--212},
 doi          = {10.1017/CBO9780511973468.007},
)
@article(EhrenfeuchtMycielski79,
 author       = {Andrzej Ehrenfeucht and Jan Mycielski},
 year         = {1979},
 title        = {Positional strategies for mean payoff games},
 journal      = {Int. J. Game Theory},
 volume       = {8},
 pages        = {109--113},
 doi          = {10.1007/BF01768705},
)
@article(DBLP:journals/iandc/FaymonvilleZ17,
 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(DBLP:journals/corr/abs-1207-0663,
 author       = {Nathana{\"{e}}l Fijalkow and Martin Zimmermann},
 year         = {2014},
 title        = {Parity and Streett Games with Costs},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {10},
 number       = {2},
 doi          = {10.2168/LMCS-10(2:14)2014},
)
@incollection(F16,
 author       = {Bernd Finkbeiner},
 year         = {2016},
 title        = {Synthesis of Reactive Systems},
 editor       = {Javier Esparza and Orna Grumberg and Salomon Sickert},
 booktitle    = {Dependable Software Systems Engineering},
 series       = {{NATO} Science for Peace and Security Series - {D:} Information and Communication Security},
 volume       = {45},
 publisher    = {{IOS} Press},
 pages        = {72--98},
 doi          = {10.3233/978-1-61499-627-9-72},
)
@inproceedings(DBLP:conf/mfcs/GimbertZ04,
 author       = {Hugo Gimbert and Wieslaw Zielonka},
 year         = {2004},
 title        = {When Can You Play Positionally?},
 editor       = {Jir{\'{\i}} Fiala and V{\'{a}}clav Koubek and Kratochv{\'{\i}}l, Jan},
 booktitle    = {{MFCS} 2004},
 series       = {LNCS},
 volume       = {3153},
 publisher    = {Springer},
 pages        = {686--697},
 doi          = {10.1007/978-3-540-28629-5\_53},
)
@proceedings(GraedelThomasWilke02,
 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(DBLP:conf/birthday/JuhlLR13,
 author       = {Line Juhl and Kim Guldstrand 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(DBLP:journals/mst/KhachiyanBBEGRZ08,
 author       = {Leonid Khachiyan and Endre Boros and Konrad Borys and Khaled M. Elbassioni and Vladimir Gurvich and G{\'{a}}bor Rudolf and Jihui Zhao},
 year         = {2008},
 title        = {On Short Paths Interdiction Problems: Total and Node-Wise Limited Interdiction},
 journal      = {Theory Comput. Syst.},
 volume       = {43},
 number       = {2},
 pages        = {204--233},
 doi          = {10.1007/s00224-007-9025-6},
)
@article(DBLP:journals/fmsd/KupfermanPV09,
 author       = {Orna Kupferman and Nir Piterman and Moshe Y. Vardi},
 year         = {2009},
 title        = {From liveness to promptness},
 journal      = {Formal Methods Syst. Des.},
 volume       = {34},
 number       = {2},
 pages        = {83--103},
 doi          = {10.1007/s10703-009-0067-z},
)
@article(DBLP:journals/mst/Landweber69,
 author       = {Lawrence H. Landweber},
 year         = {1969},
 title        = {Decision Problems for omega-Automata},
 journal      = {Math. Syst. Theory},
 volume       = {3},
 number       = {4},
 pages        = {376--384},
 doi          = {10.1007/BF01691063},
)
@article(fullversion,
 author       = {Aniello Murano and Sasha Rubin and Martin Zimmermann},
 year         = {2020},
 title        = {Optimal Strategies in Weighted Limit Games (full version)},
 journal      = {arXiv},
 volume       = {2008.11562},
 url          = {https://arxiv.org/abs/2008.11562},
)
@inproceedings(DBLP:conf/focs/Pnueli77,
 author       = {Amir Pnueli},
 year         = {1977},
 title        = {The Temporal Logic of Programs},
 booktitle    = {FOCS 1977},
 publisher    = {{IEEE} Computer Society},
 pages        = {46--57},
 doi          = {10.1109/SFCS.1977.32},
)
@phdthesis(Puri/95/simprove,
 author       = {Anuj Puri},
 year         = {1995},
 title        = {Theory of hybrid systems and discrete event systems},
 school       = {Computer Science Department, University of California, Berkeley},
)
@article(DBLP:journals/lmcs/ScheweWZ19,
 author       = {Sven Schewe and Alexander Weinert and Martin Zimmermann},
 year         = {2019},
 title        = {Parity Games with Weights},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {15},
 number       = {3},
 doi          = {10.23638/LMCS-15(3:20)2019},
)
@inproceedings(Serre06,
 author       = {Olivier Serre},
 year         = {2006},
 title        = {Parity Games Played on Transition Graphs of One-Counter Processes},
 booktitle    = {{FOSSACS} 2006},
 series       = {LNCS},
 volume       = {3921},
 publisher    = {Springer},
 pages        = {337--351},
 doi          = {10.1007/11690634\_23},
)
@article(TV87,
 author       = {Frank Thuijsman and Otto 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},
)
@inproceedings(WallmeierHT03,
 author       = {Nico Wallmeier and H\IeC{\"u}tten, Patrick and Wolfgang Thomas},
 year         = {2003},
 title        = {Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications},
 editor       = {Oscar H. Ibarra and Zhe Dang},
 booktitle    = {{CIAA} 2003},
 series       = {LNCS},
 volume       = {2759},
 publisher    = {Springer},
 pages        = {11--22},
 doi          = {10.1007/3-540-45089-0\_3},
)
@article(DBLP:journals/lmcs/Weinert017,
 author       = {Alexander Weinert and Martin Zimmermann},
 year         = {2017},
 title        = {Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs},
 journal      = {Log. Methods Comput. Sci.},
 volume       = {13},
 number       = {3},
 doi          = {10.23638/LMCS-13(3:29)2017},
)
@article(DBLP:journals/tcs/Zimmermann13,
 author       = {Martin Zimmermann},
 year         = {2013},
 title        = {Optimal bounds in parametric {LTL} games},
 journal      = {Theor. Comput. Sci.},
 volume       = {493},
 pages        = {30--45},
 doi          = {10.1016/j.tcs.2012.07.039},
)
@article(DBLP:journals/acta/Zimmermann18,
 author       = {Martin Zimmermann},
 year         = {2018},
 title        = {Parameterized linear temporal logics meet costs: still not costlier than {LTL}},
 journal      = {Acta Informatica},
 volume       = {55},
 number       = {2},
 pages        = {129--152},
 doi          = {10.1007/s00236-016-0279-9},
)
@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},
)