Looking at Mean-Payoff and Total-Payoff through Windows.

Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-Franois Raskin

Browse the full ATVA paper archive.