"The Complexity of Mean-Payoff Automaton Expression."

Yaron Velner (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics