LSV 15th anniversary, February 6–7, 2012, Cachan
Multi-dimensional Quantitative Games
Talk by
Jean-François Raskin
(Université Libre de Bruxelles)
Slides
Abstract
Multi-dimensional energy and mean-payoff games replace individual weights
by tuples, and the limit average (resp. running sum) of each coordinate
must be (resp. remain) nonnegative. These games have applications in the
synthesis of resource-bounded processes with multiple resources. We will
review recent complexity and strategy synthesis results for those games.
This talk will summarize recent joint works with Krishnendu Chatterjee
(IST, Austria), Laurent Doyen (LSV, ENS Cachan), Thomas Henzinger (IST
Austria) and Mickael Randour (U Mons).
