Faster algorithms for mean-payoff games
scientific article; zbMATH DE number 5898957