Expectations or Guarantees? I Want It All! A crossroad between games and MDPs

When reasoning about the strategic capabilities of an agent, it is important to consider the nature of its adversaries. In the particular context of controller synthesis for quantitative specifications, the usual problem is to devise a strategy for a reactive system which yields some desired perform...

Full description

Bibliographic Details
Main Authors: Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Format: Article
Language:English
Published: Open Publishing Association 2014-04-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1404.0834v1