research
∙
10/16/2020
A symmetric attractor-decomposition lifting algorithm for parity games
Progress-measure lifting algorithms for solving parity games have the be...
share
research
∙
03/19/2020
The Strahler number of a parity game
The Strahler number of a rooted tree is the largest height of a perfect ...
research
∙
01/13/2020
A Universal Attractor Decomposition Algorithm for Parity Games
An attractor decomposition meta-algorithm for solving parity games is gi...
research
∙
07/27/2018
Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
Several distinct techniques have been proposed to design quasi-polynomia...
research
∙
03/13/2018