The complexity of multi-mean-payoff and multi-energy games (0)

by Y Velner, K Chatterjee, L Doyen, T A Henzinger, A Rabinovich, J-F Raskin
Venue:CoRR