171 citations · 497 across the 31 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2016
The Complexity of Synchronizing Markov Decision Processes
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
We consider Markov decision processes (MDP) as generators of sequences of probability distributions over states. A probability distribution is p-synchronizing if the probability ma…
cs.FL2012★ 4 cited
Infinite Synchronizing Words for Probabilistic Automata (Erratum)
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi
In [1], we introduced the weakly synchronizing languages for probabilistic automata. In this report, we show that the emptiness problem of weakly synchronizing languages for probab…