Looking at mean-payoff and total-payoff through windows (2013)

by K Chatterjee, L Doyen, M Randour, J-F Raskin
Venue:In Proc. of ATVA, LNCS 8172