10 citations · 29 across the 14 of their papers we have counts for
1 paper · 2 filters
Patricia Bouyer, Mauricio González, Nicolas Markey +1
In this paper, we are interested in the synthesis of schedulers in double-weighted Markov decision processes, which satisfy both a percentile constraint over a weighted reachabilit…