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…