L. de Alfaro
M. Faella
2007
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
CAV
LNCS
4590
Springer
108–120
10.1007/978-3-540-73368-3_13
A. Arnold
A. Vincent
I. Walukiewicz
2003
Games for Synthesis of Controllers with Partial Observation
TCS
303
1
7–34
10.1016/S0304-3975(02)00442-5
M. Bakera
S. Edelkamp
P. Kissmann
C.D. Renner
2008
Solving μ-Calculus Parity Games by Symbolic Planning
MoChArt
LNCS
5348
Springer
15–33
10.1007/978-3-642-00431-5_2
M. Benerecetti
D. Dell'Erba
F. Mogavero
2016
A Delayed Promotion Policy for Parity Games
GandALF
EPTCS
226
30–45
10.4204/EPTCS.226.3
M. Benerecetti
D. Dell'Erba
F. Mogavero
2016
Improving Priority Promotion for Parity Games
Haifa Verification Conference
LNCS
10028
117–133
10.1007/978-3-319-49052-6_8
M. Benerecetti
D. Dell'Erba
F. Mogavero
2016
Solving Parity Games via Priority Promotion
CAV (2)
LNCS
9780
Springer
270–290
10.1007/978-3-319-41540-6_15
D. Berwanger
K. Chatterjee
M. De Wulf
L. Doyen
T.A. Henzinger
2009
Alpaga: A Tool for Solving Parity Games with Imperfect Information
TACAS
LNCS
5505
Springer
58–61
10.1007/978-3-642-00768-2_7
F. Bruse
M. Falk
M. Lange
2014
The Fixpoint-Iteration Algorithm for Parity Games
GandALF
EPTCS
161
116–130
https://doi.org/10.4204/EPTCS.161.12
D. Bustan
O. Kupferman
M.Y. Vardi
2004
A Measured Collapse of the Modal μ-Calculus Alternation Hierarchy
STACS
LNCS
2996
Springer
522–533
10.1007/978-3-540-24749-4_46
C.S. Calude
S. Jain
B. Khoussainov
W. Li
F. Stephan
2017
Deciding Parity Games in Quasipolynomial Time
STOC
ACM
252–263
10.1145/3055399.3055409
K. Chatterjee
W. Dvorák
M. Henzinger
V. Loitzenbauer
2017
Improved Set-Based Symbolic Algorithms for Parity Games
CSL
LIPIcs
82
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
18:1–18:21
10.4230/LIPIcs.CSL.2017.18
T. Chen
B. Ploeger
J. van de Pol
T.A.C. Willemse
2007
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
CONCUR'07
120–135
10.1007/978-3-540-74407-8_9
S. Cranen
J.F. Groote
J.J.A. Keiren
F. Stappers
E.P. de Vink
W. Wesselink
T.A.C. Willemse
2013
An Overview of the mCRL2 Toolset and Its Recent Advances
TACAS
LNCS
7795
Springer
199–213
10.1007/978-3-642-36742-7_15
T. van Dijk
2018
Oink: An Implementation and Evaluation of Modern Parity Game Solvers
TACAS (1)
LNCS
10805
Springer
291–308
10.1007/978-3-319-89960-2_16
R. Drechsler
B. Becker
1998
Binary Decision Diagrams - Theory and Implementation
Springer
10.1007/978-1-4757-2892-7
E.A. Emerson
C.S. Jutla
1991
Tree automata, Mu-Calculus and determinacy
FOCS'91
IEEE Computer Society
Washington, DC, USA
368–377
10.1109/SFCS.1991.185392
J. Fearnley
S. Jain
S. Schewe
F. Stephan
D. Wojtczak
2017
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
SPIN
ACM
112–121
10.1145/3092282.3092286
O. Friedmann
M. Lange
2009
Solving Parity Games in Practice
ATVA
LNCS
5799
Springer
182–196
10.1007/978-3-642-04761-9_15
M. Gazda
T.A.C. Willemse
2013
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds
GandALF
EPTCS
119
7–20
10.4204/EPTCS.119.4
J.F. Groote
T.A.C. Willemse
2005
Parameterised Boolean Equation Systems
Theor. Comput. Sci.
343
3
332–369
10.1016/j.tcs.2005.06.016
M. Jurdziński
2000
Small Progress Measures for Solving Parity Games
STACS'00
LNCS
1770
Springer
290–301
10.1007/3-540-46541-3_24
M. Jurdziński
R. Lazic
2017
Succinct Progress Measures for Solving Parity Games
LICS
IEEE Computer Society
1–9
10.1109/LICS.2017.8005092
G. Kant
J. van de Pol
2014
Generating and Solving Symbolic Parity Games
GRAPHITE
EPTCS
159
2–14
10.4204/EPTCS.159.2
J.J.A. Keiren
2015
Benchmarks for Parity Games
FSEN
LNCS
9392
Springer
127–142
10.1007/978-3-319-24644-4_9
O. Kupferman
M.Y. Vardi
1998
Weak Alternating Automata and Tree Automata Emptiness
STOC
ACM
224–233
10.1145/276698.276748
R. McNaughton
1993
Infinite Games Played on Finite Graphs
APAL
65
2
149–184
10.1016/0168-0072(93)90036-D
H. Seidl
1996
Fast and Simple Nested Fixpoints
Inf. Process. Lett.
59
6
303–308
10.1016/0020-0190(96)00130-5
A. Di Stasio
A. Murano
G. Perelli
M.Y. Vardi
2016
Solving Parity Games Using an Automata-Based Algorithm
CIAA
LNCS
9705
Springer
64–76
10.1007/978-3-319-40946-7_6
I. Wegener
2000
Branching programs and binary decision diagrams
SIAM
10.1137/1.9780898719789
W. Zielonka
1998
Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees
TCS
200
1-2
135 – 183
10.1016/S0304-3975(98)00009-7