"LSV",
"image" => array("../../news/lsv.jpg", "LSV"),
"Address" => 'LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France',
"plus" => array("../../info-acces",
"Access information"),
"vcard" => "../../news/lsv.vcf"
));
//ADDBOX(array("title" => "Quick Links", "content" => ''));
STYLELSV();
MKPAGE();
?>
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).