Quasi Dominion Measures for Mean-Payoff Games

We propose a novel algorithm for the solution of mean-payoff games, which merges together two seemingly unrelated concepts introduced in the context of parity games, small progress measures and quasi dominions. We show that the integration of the two notions can be highly beneficial and can significantly speed up convergence to the solution. Experiments point outs that the resulting algorithm performs orders of magnitude better than the best solution algorithm currently known.

Authors

• Daniele Dell’Erba.

Keywords

No keywords are indexed for this paper.