Bounds for Synchronizing Markov Decision Processes

Laurent Doyen, Marie van den Bogaard

We consider Markov decision processes with synchronizing objectives, which require that a probability mass of $1-\epsilon$ accumulates in a designated set of target states, either once, a…