Mean-Payoff Automaton Expressions.

Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou

Browse the full CONCUR paper archive.