Qualitative analysis of concurrent mean-payoff games (1409)

by Krishnendu Chatterjee, Rasmus Ibsen-Jensen