Faster Game Solving by Fixpoint Acceleration

Daniel Hausmann

We propose a method for solving parity games with acyclic (DAG) sub-structures by computing nested fixpoints of a DAG attractor function that lives over the non-DAG parts of the ga…