J.F.: Generalized Mean-payoff and Energy Games (2010)

by K Chatterjee, L Doyen, T A Henzinger, Raskin
Venue:In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010). LIPIcs