1: \begin{abstract}

2: 

3: We revisit the approaches to the solution of \emph{parity games} based on

4: \emph{progress measures} and show how the notion of \emph{quasi dominions} can

5: be integrated with those approaches.

6: The idea is that, while progress measure based techniques typically focus on one

7: of the two players, little information is gathered on the other player during

8: the solution process.

9: Adding quasi dominions provides additional information on this player that can

10: be leveraged to greatly accelerate convergence to a progress measure.

11: To accommodate quasi dominions, however, non trivial refinements of the approach

12: are necessary.

13: In particular, we need to introduce a novel notion of measure and a new method

14: to prove correctness of the resulting solution technique.

15: 

16: \end{abstract}

17: