171 citations · 497 across the 31 of their papers we have counts for
5 papers · 1 filter
Partial-Observation Stochastic Games: How to Win when Belief Fails
Krishnendu Chatterjee, Laurent Doyen
In two-player finite-state stochastic games of partial observation on graphs, in every state of the graph, the players simultaneously choose an action, and their joint actions dete…
On Reachability for Hybrid Automata over Bounded Time
Thomas Brihaye, Laurent Doyen, Gilles Geeraerts +3
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locati…
On Memoryless Quantitative Objectives
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
In two-player games on graph, the players construct an infinite path through the game graph and get a reward computed by a payoff function over infinite paths. Over weighted graphs…
Energy and Mean-Payoff Parity Markov Decision Processes
Krishnendu Chatterjee, Laurent Doyen
We consider Markov Decision Processes (MDPs) with mean-payoff parity and energy parity objectives. In system design, the parity objective is used to encode ω-regular specifications…
Synchronizing Objectives for Markov Decision Processes
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
We introduce synchronizing objectives for Markov decision processes (MDP). Intuitively, a synchronizing objective requires that eventually, at every step there is a state which con…