Mean-Payoff Pushdown Games.

Krishnendu Chatterjee, Yaron Velner

Browse the full LICS paper archive.