The complexity of synchronizing Markov decision processes
The complexity of synchronizing Markov decision processes is a scholarly work, published in 2019 in ''Journal of Computer and System Sciences''. The main subjects of the publication include biological sequence, limit, Markov chain, combinatorics, Petri net, state, autonomic computing, synchronization, discrete mathematics, formal methods, mathematics, decidability, and computer science. The authors establish the memory requirement for winning strategies, and authors show that all winning modes coincide for always synchronizing, and that the almost-sure and limit-sure winning modes coincide for weakly and strongly synchronizing.