1: \begin{abstract}

2: 

3:   We propose a novel algorithm for the solution of \emph{mean-payoff games} that

4:   merges together two seemingly unrelated concepts introduced in the context of

5:   parity games, \emph{small progress measures} and \emph{quasi dominions}.

6:   We show that the integration of the two notions can be highly beneficial and

7:   significantly speeds up convergence to the problem solution.

8:   Experiments show that the resulting algorithm performs orders of magnitude

9:   better than the asymptotically-best solution algorithm currently known,

10:   without sacrificing on the worst-case complexity.

11: 

12: \end{abstract}

13: