Faster algorithms for mean-payoff games (0)

by L Brim, J Chaloupka, L Doyen, R Gentilini, J-F Raskin
Venue:Formal Methods in System Design