3 citations · 5 across the 8 of their papers we have counts for
Showing 2015 · cs.GTShow all
2 papers · 2 filters
cs.GT2015
Minimizing Regret in Discounted-Sum Games
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
In this paper, we study the problem of minimizing regret in discounted-sum games played on weighted game graphs. We give algorithms for the general problem of computing the minimal…
cs.GT2015
Reactive Synthesis Without Regret
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin
Two-player zero-sum games of infinite duration and their quantitative versions are used in verification to model the interaction between a controller (Eve) and its environment (Ada…