Energy and Mean-payoff games: extensions and variations

Abstract:

In this talk, we will review recent results that have been obtained on the multi-dimensional extensions of energy and mean-payoff games. We will also introduce the notion of mean-payoff window objectives that slightly strengthen classical mean-payoff objectives and for which we have polynomial time algorithms.

Presentation Slides