@article(kupferman2,
 author       = {S. Almagor and U. Boker and O Kupferman},
 year         = {2016},
 title        = {Formalizing and reasoning about quality},
 journal      = {Journal of the ACM},
 doi          = {10.1145/2875421},
)
@incollection(bouyer,
 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    = {Formal Modeling and Analysis of Timed Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {5215},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {33--47},
 doi          = {10.1007/978-3-540-85778-5\_4},
)
@inproceedings(depril3,
 author       = {Thomas Brihaye and Veroniqu\'e Bruy\`ere and {De Pril}, Julie},
 year         = {2010},
 title        = {Equilibria in quantitative reachability games},
 booktitle    = {Proc. of CSR},
 series       = {LNCS},
 volume       = {6072},
 publisher    = {Springer},
)
@inproceedings(depril2,
 author       = {Thomas Brihaye and {De Pril}, Julie and Sven Schewe},
 year         = {2013},
 title        = {Multiplayer Cost Games with Simple {N}ash Equilibria},
 booktitle    = {Logical Foundations of Computer Science},
 series       = {LNCS},
 pages        = {59--73},
 doi          = {10.1007/978-3-642-35722-0\_5},
)
@misc(haddad,
 author       = {Thomas Brihaye and Gilles Geeraerts and Axel Haddad and Benjamin Monmege},
 year         = {2014},
 title        = {To Reach or not to Reach? {E}fficient Algorithms for Total-Payoff Games},
 howpublished = {arXiv 1407.5030},
)
@inproceedings(bulling,
 author       = {Nils Bulling and Valentin Goranko},
 year         = {2013},
 title        = {How to be both rich and happy: Combining quantitative and qualitative strategic reasoning about multi-player games (Extended Abstract)},
 booktitle    = {Proc. of Strategic Reasoning},
 doi          = {10.4204/EPTCS.112.8},
 url          = {http://www.arxiv.org/abs/1303.0789},
)
@incollection(chakrabarti,
 author       = {Arindam Chakrabarti and Luca de Alfaro and Thomas A. Henzinger and Mari\"elle Stoelinga},
 year         = {2003},
 title        = {Resource Interfaces},
 editor       = {Rajeev Alur and Insup Lee},
 booktitle    = {Embedded Software},
 series       = {Lecture Notes in Computer Science},
 volume       = {2855},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {117--133},
 doi          = {10.1007/978-3-540-45212-6\_9},
)
@article(chatterjee4,
 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(raskin4,
 author       = {Lorenzo Clemente and Jean{-}Fran{\c{c}}ois Raskin},
 year         = {2015},
 title        = {Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives},
 booktitle    = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2015, Kyoto, Japan, July 6-10, 2015},
 pages        = {257--268},
 doi          = {10.1109/LICS.2015.33},
)
@article(fijalkow2,
 author       = {Nathana\"el Fijalkow and Martin Zimmermann},
 year         = {2014},
 title        = {Parity and Streett Games with Costs},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {2},
 doi          = {10.2168/LMCS-10(2:14)2014},
)
@inproceedings(gurevich2,
 author       = {Yuri Gurevich and L. Harrington},
 year         = {1982},
 title        = {Trees, automata and games},
 booktitle    = {Proc. STOC},
 doi          = {10.1145/800070.802177},
)
@article(paterson,
 author       = {Marcin Jurdzinski and Mike Paterson and Uri Zwick},
 year         = {2008},
 title        = {A Deterministic Subexponential Algorithm for Solving Parity Games},
 journal      = {SIAM J. Comput.},
 volume       = {38},
 number       = {4},
 pages        = {1519--1532},
 doi          = {10.1137/070686652},
)
@inproceedings(kupferman,
 author       = {Orna Kupferman},
 year         = {2016},
 title        = {On High-Quality Synthesis},
 editor       = {S. Alexander Kulikov and J. Gerhard Woeginger},
 booktitle    = {11th International Computer Science Symposium in Russia, CSR 2016},
 publisher    = {Springer International Publishing},
 pages        = {1--15},
 doi          = {10.1007/978-3-319-34171-2\_1},
)
@article(leroux3,
 author       = {Le Roux, St\'ephane},
 year         = {2013},
 title        = {Infinite Sequential {N}ash Equilibria},
 journal      = {Logical Methods in Computer Science},
 volume       = {9},
 number       = {2},
 doi          = {10.2168/LMCS-9(2:3)2013},
)
@inproceedings(paulyleroux2,
 author       = {Le Roux, St{\'e}phane and Arno Pauly},
 year         = {2014},
 title        = {Infinite Sequential Games with Real-valued Payoffs},
 booktitle    = {CSL-LICS '14},
 publisher    = {ACM},
 pages        = {62:1--62:10},
 doi          = {10.1145/2603088.2603120},
)
@incollection(paulyleroux3-cie,
 author       = {Le Roux, St\'ephane and Arno Pauly},
 year         = {2015},
 title        = {Weihrauch Degrees of Finding Equilibria in Sequential Games},
 editor       = {Arnold Beckmann and Victor Mitrana and Mariya Soskova},
 booktitle    = {Evolving Computability},
 series       = {Lecture Notes in Computer Science},
 volume       = {9136},
 publisher    = {Springer},
 pages        = {246--257},
 doi          = {10.1007/978-3-319-20028-6\_25},
)
@misc(paulyleroux4-arxiv,
 author       = {Le Roux, St\'ephane and Arno Pauly},
 year         = {2016},
 title        = {Extending finite memory determinacy: General techniques and an application to energy parity games},
 howpublished = {arXiv:1602.08912},
)
@inproceedings(mertens,
 author       = {Jean Fran\c{c}ois Mertens},
 year         = {1987},
 title        = {Repeated Games},
 booktitle    = {Proc. Internat. Congress Mathematicians},
 publisher    = {American Mathematical Society},
 pages        = {1528--1577},
)
@inproceedings(soumya,
 author       = {Soumya Paul and Sunil Simon},
 year         = {2009},
 title        = {{Nash Equilibrium in Generalised Muller Games}},
 editor       = {Ravi Kannan and K. Narayan Kumar},
 booktitle    = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {4},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {335--346},
 doi          = {10.4230/LIPIcs.FSTTCS.2009.2330},
 url          = {http://drops.dagstuhl.de/opus/volltexte/2009/2330},
)
@phdthesis(depril,
 author       = {Julie De Pril},
 year         = {2013},
 title        = {Equilibria in Multiplayer Cost Games},
 school       = {Universit\'e de Mons},
)
@article(raskin,
 author       = {Yaron Velner and Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Alexander Rabinovich and Jean-Fran\c{c}ois Raskin},
 year         = {2015},
 title        = {The complexity of multi-mean-payoff and multi-energy games},
 journal      = {Information and Computation},
 volume       = {241},
 pages        = {177 -- 196},
 doi          = {10.1016/j.ic.2015.03.001},
 url          = {http://www.sciencedirect.com/science/article/pii/S0890540115000164},
)