On omega-languages defined by mean-payoff conditions (2009)

by R Alur, A Degorre, O Maler, G Weiss
Venue:In Proc. of FOSSACS: Foundations of Software Science and Computational Structures, LNCS 5504