34 citations · 146 across the 24 of their papers we have counts for
4 papers · 1 filter
Variations on the Stochastic Shortest Path Problem
Mickael Randour, Jean-François Raskin, Ocan Sankur
In this invited contribution, we revisit the stochastic shortest path problem, and show how recent results allow one to improve over the classical solutions: we present algorithms…
Percentile Queries in Multi-Dimensional Markov Decision Processes
Mickael Randour, Jean-François Raskin, Ocan Sankur
Markov decision processes (MDPs) with multi-dimensional weights are useful to analyze systems with multiple objectives that may be conflicting and require the analysis of trade-off…
AbsSynthe: abstract synthesis from succinct safety specifications
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin +1
In this paper, we describe a synthesis algorithm for safety specifications described as circuits. Our algorithm is based on fixpoint computations, abstraction and refinement, it us…
Multiple-Environment Markov Decision Processes
Jean-François Raskin, Ocan Sankur
We introduce Multi-Environment Markov Decision Processes (MEMDPs) which are MDPs with a set of probabilistic transition functions. The goal in a MEMDP is to synthesize a single con…