"Mean-Payoff Pushdown Games."

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