@booklet(BC18,
 author       = {Miko{\l}aj Boja{\'n}czyk and Wojciech Czerwi{\'n}ski},
 year         = {2018},
 title        = {An Automata Toolbox},
 url          = {https://www.mimuw.edu.pl/~bojan/papers/toolbox-reduced-feb6.pdf},
)
@inproceedings(CJKLS17,
 author       = {Cristian S. Calude and Sanjay Jain and Bakhadyr Khoussainov and Wei Li and Frank Stephan},
 year         = {2017},
 title        = {Deciding parity games in quasipolynomial time},
 booktitle    = {STOC},
 pages        = {252--263},
 doi          = {10.1145/3055399.3055409},
)
@inproceedings(ChatterjeeHJ05,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Marcin Jurdzi{\'n}ski},
 year         = {2005},
 title        = {Mean-Payoff Parity Games},
 booktitle    = {LICS},
 pages        = {178--187},
 doi          = {10.1109/LICS.2005.26},
)
@inproceedings(CHP07,
 author       = {Krishnendu Chatterjee and Thomas A. Henzinger and Nir Piterman},
 year         = {2007},
 title        = {Generalized Parity Games},
 editor       = {Helmut Seidl},
 booktitle    = {FoSSaCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {4423},
 publisher    = {Springer},
 pages        = {153--167},
 doi          = {10.1007/978-3-540-71389-0\_12},
)
@article(CF18,
 author       = {Thomas Colcombet and Nathana{\"{e}}l Fijalkow},
 year         = {2018},
 title        = {Parity games and universal graphs},
 journal      = {CoRR},
 volume       = {abs/1810.05106},
 url          = {https://arxiv.org/abs/1810.05106},
)
@inproceedings(CF19,
 author       = {Thomas Colcombet and Nathana{\"{e}}l Fijalkow},
 year         = {2019},
 title        = {Universal Graphs and Good for Games Automata: New Tools for Infinite Duration Games},
 booktitle    = {FoSSaCS},
 doi          = {10.1007/978-3-030-17127-8\_1},
)
@inproceedings(CDFJLP18,
 author       = {Wojciech Czerwi{\'n}ski and Laure Daviaud and Nathana{\"e}l Fijalkow and Marcin Jurdzi{\'n}ski and Ranko Lazi{\'c} and Pawe{\l} Parys},
 year         = {2019},
 title        = {Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games},
 booktitle    = {SODA},
 doi          = {10.1137/1.9781611975482.142},
)
@inproceedings(DaviaudJL18,
 author       = {Laure Daviaud and Marcin Jurdzi{\'n}ski and Ranko Lazi{\'c}},
 year         = {2018},
 title        = {A pseudo-quasi-polynomial algorithm for mean-payoff parity games},
 booktitle    = {LICS},
 doi          = {10.1145/3209108.3209162},
)
@article(Fij18,
 author       = {Nathana{\"e}l Fijalkow},
 year         = {2018},
 title        = {An Optimal Value Iteration Algorithm for Parity Games},
 journal      = {CoRR},
 volume       = {abs/1801.09618},
 url          = {https://arxiv.org/abs/1801.09618},
)
@inproceedings(FGO18,
 author       = {Nathana{\"{e}}l Fijalkow and Pawe{\l} Gawrychowski and Pierre Ohlmann},
 year         = {2020},
 title        = {Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games},
 booktitle    = {MFCS},
 doi          = {10.4230/LIPIcs.MFCS.2020.34},
)
@article(FM14,
 author       = {Nathana{\"{e}}l 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(JL17,
 author       = {Marcin Jurdzi\'nski and Ranko Lazi\'c},
 year         = {2017},
 title        = {Succinct progress measures for solving parity games},
 booktitle    = {LICS},
 doi          = {10.1109/LICS.2017.8005092},
)
@inproceedings(Kopczynski06,
 author       = {Eryk Kopczy{\'n}ski},
 year         = {2006},
 title        = {Half-Positional Determinacy of Infinite Games},
 booktitle    = {ICALP},
 pages        = {336--347},
 doi          = {10.1007/11787006_29},
)
@article(ScheweWZ19,
 author       = {Sven Schewe and Alexander Weinert and Martin Zimmermann},
 year         = {2019},
 title        = {Parity Games with Weights},
 journal      = {Logical Methods in Computer Science},
 volume       = {15},
 number       = {3},
 doi          = {10.23638/LMCS-15(3:20)2019},
)
@article(VelnerC0HRR15,
 author       = {Yaron Velner and Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Alexander M. 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},
)