TY - RPRT TI - Mean-payoff Automaton Expressions AU - Krishnendu Chatterjee AU - Laurent Doyen AU - Herbert Edelsbrunner AU - Thomas A. Henzinger AU - Philippe Rannou PY - 2010 DO - 10.1007/978-3-642-15375-4_19 UR - https://arxiv.org/abs/1006.1492 ID - 1006.1492 ER -