LTH-image


Abstract

Energy and Mean-payoff games: extensions and variations

Jean-Francois Raskin

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