Multi-weighted Markov Decision Processes with Reachability Objectives

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…