_id,doi,title
3853,10.1007/978-3-642-15375-4_19,Mean-payoff automaton expressions