On Omega-Languages Defined by Mean-Payoff Conditions.

Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss

Browse the full FOSSACS paper archive.