171 citations · 497 across the 31 of their papers we have counts for
3 papers · 2 filters
Doomsday Equilibria for Omega-Regular Games
Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot +1
Two-player games on graphs provide the theoretical frame- work for many important problems such as reactive synthesis. While the traditional study of two-player zero-sum games has…
Limit Synchronization in Markov Decision Processes
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
Markov decision processes (MDP) are finite-state systems with both strategic and probabilistic choices. After fixing a strategy, an MDP produces a sequence of probability distribut…
Looking at Mean-Payoff and Total-Payoff through Windows
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour +1
We consider two-player games played on weighted directed graphs with mean-payoff and total-payoff objectives, two classical quantitative objectives. While for single-dimensional ga…