@article(DBLP:journals/mp/AvisF17,
 author       = {David Avis and Oliver Friedmann},
 year         = {2017},
 title        = {An exponential lower bound for Cunningham's rule},
 journal      = {Math. Program.},
 volume       = {161},
 number       = {1-2},
 pages        = {271--305},
 doi          = {10.1007/s10107-016-1008-4},
)
@inproceedings(DBLP:journals/corr/BenerecettiDM16,
 author       = {Massimo Benerecetti and Daniele Dell'Erba and Fabio Mogavero},
 year         = {2016},
 title        = {{A Delayed Promotion Policy for Parity Games}},
 booktitle    = {{GandALF} 2016},
 series       = {{EPTCS}},
 volume       = {226},
 pages        = {30--45},
 doi          = {10.4204/EPTCS.226.3},
)
@inproceedings(DBLP:conf/hvc/BenerecettiDM16,
 author       = {Massimo Benerecetti and Daniele Dell'Erba and Fabio Mogavero},
 year         = {2016},
 title        = {{Improving Priority Promotion for Parity Games}},
 booktitle    = {{HVC} 2016},
 series       = {LNCS},
 volume       = {10028},
 pages        = {117--133},
 doi          = {10.1007/978-3-319-49052-6\_8},
)
@inproceedings(DBLP:conf/cav/BenerecettiDM16,
 author       = {Massimo Benerecetti and Daniele Dell'Erba and Fabio Mogavero},
 year         = {2016},
 title        = {{Solving Parity Games via Priority Promotion}},
 booktitle    = {{CAV} 2016},
 series       = {LNCS},
 volume       = {9780},
 publisher    = {Springer},
 pages        = {270--290},
 doi          = {10.1007/978-3-319-41540-6\_15},
)
@inproceedings(DBLP:conf/gandalf/BenerecettiDM17,
 author       = {Massimo Benerecetti and Daniele Dell'Erba and Fabio Mogavero},
 year         = {2017},
 title        = {Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games},
 booktitle    = {{GandALF}},
 series       = {{EPTCS}},
 volume       = {256},
 pages        = {121--135},
 doi          = {10.4204/EPTCS.256.9},
)
@article(DBLP:journals/fmsd/BenerecettiDM18,
 author       = {Massimo Benerecetti and Daniele Dell'Erba and Fabio Mogavero},
 year         = {2018},
 title        = {Solving parity games via priority promotion},
 journal      = {Formal Methods in System Design},
 volume       = {52},
 number       = {2},
 pages        = {193--226},
 doi          = {10.1007/s10703-018-0315-1},
)
@inproceedings(DBLP:journals/corr/BruseFL14,
 author       = {Florian Bruse and Michael Falk and Martin Lange},
 year         = {2014},
 title        = {The Fixpoint-Iteration Algorithm for Parity Games},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {161},
 pages        = {116--130},
 doi          = {10.4204/EPTCS.161.12},
)
@inproceedings(DBLP:conf/stoc/CaludeJKL017,
 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}},
 publisher    = {{ACM}},
 pages        = {252--263},
 doi          = {10.1145/3055399.3055409},
)
@inproceedings(DBLP:conf/cav/Dijk18,
 author       = {Tom van Dijk},
 year         = {2018},
 title        = {Attracting Tangles to Solve Parity Games},
 booktitle    = {{CAV} {(2)}},
 series       = {LNCS},
 volume       = {10982},
 publisher    = {Springer},
 pages        = {198--215},
 doi          = {10.1007/978-3-319-96142-2\_14},
)
@inproceedings(DBLP:conf/tacas/Dijk18,
 author       = {Tom van Dijk},
 year         = {2018},
 title        = {Oink: An Implementation and Evaluation of Modern Parity Game Solvers},
 booktitle    = {{TACAS} {(1)}},
 series       = {LNCS},
 volume       = {10805},
 publisher    = {Springer},
 pages        = {291--308},
 doi          = {10.1007/978-3-319-89960-2\_16},
)
@article(fpi,
 author       = {Tom van Dijk and Bob Rubbens},
 year         = {2019},
 title        = {Simple Fixpoint Iteration to Solve Parity Games},
 note         = {Accepted at GandALF 2019},
)
@inproceedings(DBLP:conf/focs/EmersonJ91,
 author       = {E.~Allen Emerson and Charanjit~S. Jutla},
 year         = {1991},
 title        = {Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)},
 booktitle    = {{FOCS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {368--377},
 doi          = {10.1109/SFCS.1991.185392},
)
@article(DBLP:journals/tcs/EmersonJS01,
 author       = {E.~Allen Emerson and Charanjit~S. Jutla and A.~Prasad Sistla},
 year         = {2001},
 title        = {On model checking for the mu-calculus and its fragments},
 journal      = {Theor. Comput. Sci.},
 volume       = {258},
 number       = {1-2},
 pages        = {491--522},
 doi          = {10.1016/S0304-3975(00)00034-7},
)
@inproceedings(DBLP:conf/lpar/Fearnley10,
 author       = {John Fearnley},
 year         = {2010},
 title        = {Non-oblivious Strategy Improvement},
 booktitle    = {{LPAR} (Dakar)},
 series       = {LNCS},
 volume       = {6355},
 publisher    = {Springer},
 pages        = {212--230},
 doi          = {10.1007/978-3-642-17511-4\_13},
)
@inproceedings(DBLP:conf/cav/Fearnley17,
 author       = {John Fearnley},
 year         = {2017},
 title        = {Efficient Parallel Strategy Improvement for Parity Games},
 booktitle    = {{CAV} {(2)}},
 series       = {LNCS},
 volume       = {10427},
 publisher    = {Springer},
 pages        = {137--154},
 doi          = {10.1007/978-3-319-63390-9\_8},
)
@article(DBLP:journals/sttt/FearnleyJKSSW19,
 author       = {John Fearnley and Sanjay Jain and Bart de~Keijzer and Sven Schewe and Frank Stephan and Dominik Wojtczak},
 year         = {2019},
 title        = {An ordered approach to solving parity games in quasi-polynomial time and quasi-linear space},
 journal      = {{STTT}},
 volume       = {21},
 number       = {3},
 pages        = {325--349},
 doi          = {10.1007/s10009-019-00509-3},
)
@inproceedings(DBLP:conf/soda/FearnleyS16,
 author       = {John Fearnley and Rahul Savani},
 year         = {2016},
 title        = {The Complexity of All-switches Strategy Improvement},
 booktitle    = {{SODA}},
 publisher    = {{SIAM}},
 pages        = {130--139},
 doi          = {10.1137/1.9781611974331.ch10},
)
@inproceedings(DBLP:conf/lics/Friedmann09,
 author       = {Oliver Friedmann},
 year         = {2009},
 title        = {An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it},
 booktitle    = {{LICS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {145--156},
 doi          = {10.1109/LICS.2009.27},
)
@article(DBLP:journals/lmcs/Friedmann11,
 author       = {Oliver Friedmann},
 year         = {2011},
 title        = {An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms},
 journal      = {Logical Methods in Computer Science},
 volume       = {7},
 number       = {3},
 doi          = {10.2168/LMCS-7(3:23)2011},
)
@article(DBLP:journals/ita/Friedmann11,
 author       = {Oliver Friedmann},
 year         = {2011},
 title        = {Recursive algorithm for parity games requires exponential time},
 journal      = {{RAIRO} - Theor. Inf. and Applic.},
 volume       = {45},
 number       = {4},
 pages        = {449--457},
 doi          = {10.1051/ita/2011124},
)
@inproceedings(DBLP:conf/ipco/Friedmann11,
 author       = {Oliver Friedmann},
 year         = {2011},
 title        = {A Subexponential Lower Bound for Zadeh's Pivoting Rule for Solving Linear Programs and Games},
 booktitle    = {{IPCO}},
 series       = {Lecture Notes in Computer Science},
 volume       = {6655},
 publisher    = {Springer},
 pages        = {192--206},
 doi          = {10.1007/978-3-642-20807-2\_16},
)
@inproceedings(Friedmann2012,
 author       = {Oliver Friedmann},
 year         = {2012},
 title        = {A subexponential lower bound for the Least Recently Considered rule for solving linear programs and games},
 booktitle    = {{GAMES}},
)
@article(DBLP:journals/dam/Friedmann13,
 author       = {Oliver Friedmann},
 year         = {2013},
 title        = {A superpolynomial lower bound for strategy iteration based on snare memorization},
 journal      = {Discrete Applied Mathematics},
 volume       = {161},
 number       = {10-11},
 pages        = {1317--1337},
 doi          = {10.1016/j.dam.2013.02.007},
)
@inproceedings(DBLP:conf/soda/FriedmannHZ11,
 author       = {Oliver Friedmann and Thomas~Dueholm Hansen and Uri Zwick},
 year         = {2011},
 title        = {A subexponential lower bound for the Random Facet algorithm for Parity Games},
 booktitle    = {{SODA}},
 publisher    = {{SIAM}},
 pages        = {202--216},
 doi          = {10.1137/1.9781611973082.19},
)
@inproceedings(DBLP:conf/atva/FriedmannL09,
 author       = {Oliver Friedmann and Martin Lange},
 year         = {2009},
 title        = {Solving Parity Games in Practice},
 booktitle    = {{ATVA}},
 series       = {{LNCS}},
 volume       = {5799},
 publisher    = {Springer},
 pages        = {182--196},
 doi          = {10.1007/978-3-642-04761-9\_15},
)
@inproceedings(DBLP:journals/corr/GazdaW13,
 author       = {Maciej Gazda and Tim A.~C. Willemse},
 year         = {2013},
 title        = {Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds},
 booktitle    = {GandALF},
 series       = {{EPTCS}},
 volume       = {119},
 pages        = {7--20},
 doi          = {10.4204/EPTCS.119.4},
)
@proceedings(DBLP:conf/dagstuhl/2001automata,
 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},
)
@article(DBLP:journals/ipl/Jurdzinski98,
 author       = {Marcin Jurdzinski},
 year         = {1998},
 title        = {Deciding the Winner in Parity Games is in {UP} $\cap$ co-{UP}},
 journal      = {Inf. Process. Lett.},
 volume       = {68},
 number       = {3},
 pages        = {119--124},
 doi          = {10.1016/S0020-0190(98)00150-1},
)
@inproceedings(DBLP:conf/stacs/Jurdzinski00,
 author       = {Marcin Jurdzinski},
 year         = {2000},
 title        = {Small Progress Measures for Solving Parity Games},
 booktitle    = {{STACS}},
 series       = {LNCS},
 volume       = {1770},
 publisher    = {Springer},
 pages        = {290--301},
 doi          = {10.1007/3-540-46541-3\_24},
)
@inproceedings(DBLP:conf/lics/JurdzinskiL17,
 author       = {Marcin Jurdzinski and Ranko Lazic},
 year         = {2017},
 title        = {Succinct progress measures for solving parity games},
 booktitle    = {{LICS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {1--9},
 doi          = {10.1109/LICS.2017.8005092},
)
@article(DBLP:journals/tcs/Kozen83,
 author       = {Dexter Kozen},
 year         = {1983},
 title        = {Results on the Propositional mu-Calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {27},
 pages        = {333--354},
 doi          = {10.1016/0304-3975(82)90125-6},
)
@inproceedings(DBLP:conf/stoc/KupfermanV98,
 author       = {Orna Kupferman and Moshe~Y. Vardi},
 year         = {1998},
 title        = {Weak Alternating Automata and Tree Automata Emptiness},
 booktitle    = {{STOC}},
 publisher    = {{ACM}},
 pages        = {224--233},
 doi          = {10.1145/276698.276748},
)
@article(DBLP:journals/apal/McNaughton93,
 author       = {Robert McNaughton},
 year         = {1993},
 title        = {Infinite Games Played on Finite Graphs},
 journal      = {Ann. Pure Appl. Logic},
 volume       = {65},
 number       = {2},
 pages        = {149--184},
 doi          = {10.1016/0168-0072(93)90036-D},
)
@inproceedings(DBLP:conf/cav/MeyerSL18,
 author       = {Philipp~J. Meyer and Salomon Sickert and Michael Luttenberger},
 year         = {2018},
 title        = {Strix: Explicit Reactive Synthesis Strikes Back!},
 booktitle    = {{CAV} {(1)}},
 series       = {Lecture Notes in Computer Science},
 volume       = {10981},
 publisher    = {Springer},
 pages        = {578--586},
 doi          = {10.1007/978-3-319-96145-3\_31},
)
@article(DBLP:journals/corr/abs-1904-12446,
 author       = {Pawel Parys},
 year         = {2019},
 title        = {Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time},
 journal      = {CoRR},
 volume       = {abs/1904.12446},
)
@inproceedings(DBLP:conf/wia/StasioMPV16,
 author       = {Antonio~Di Stasio and Aniello Murano and Giuseppe Perelli and Moshe~Y. Vardi},
 year         = {2016},
 title        = {Solving Parity Games Using an Automata-Based Algorithm},
 booktitle    = {{CIAA}},
 series       = {{LNCS}},
 volume       = {9705},
 publisher    = {Springer},
 pages        = {64--76},
 doi          = {10.1007/978-3-319-40946-7\_6},
)
@article(DBLP:journals/tcs/Zielonka98,
 author       = {Wieslaw Zielonka},
 year         = {1998},
 title        = {Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees},
 journal      = {Theor. Comput. Sci.},
 volume       = {200},
 number       = {1-2},
 pages        = {135--183},
 doi          = {10.1016/S0304-3975(98)00009-7},
)