5 citations · 6 across the 4 of their papers we have counts for
4 papers
Bounding Average-energy Games
Patricia Bouyer, Piotr Hofman, Nicolas Markey +2
We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, de…
Window Parity Games: An Alternative Approach Toward Parity Games with Time Bounds (Full Version)
Véronique Bruyère, Quentin Hautem, Mickael Randour
Classical objectives in two-player zero-sum games played on graphs often deal with limit behaviors of infinite plays: e.g., mean-payoff and total-payoff in the quantitative setting…
Expectations or Guarantees? I Want It All! A crossroad between games and MDPs
Véronique Bruyère, Emmanuel Filiot, Mickael Randour +1
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 quanti…
Automated synthesis of reliable and efficient systems through game theory: a case study
Mickael Randour
Reactive computer systems bear inherent complexity due to continuous interactions with their environment. While this environment often proves to be uncontrollable, we still want to…