Mean-payoff automaton expressions (2010)

by K Chatterjee, L Doyen, H Edelsbrunner, T A Henzinger, P Rannou
Venue:In Proc. of CONCUR: Concurrency Theory, LNCS 6269