Doyen, Laurent; Massart, Thierry; Shirmohammadi, Mahsa The complexity of synchronizing Markov decision processes. (English) Zbl 1421.68099 J. Comput. Syst. Sci. 100, 96-129 (2019). MSC: 68Q87 68Q10 68Q25 68Q85 91A80 PDFBibTeX XMLCite \textit{L. Doyen} et al., J. Comput. Syst. Sci. 100, 96--129 (2019; Zbl 1421.68099) Full Text: DOI arXiv
Chatterjee, Krishnendu; Doyen, Laurent; Randour, Mickael; Raskin, Jean-François Looking at mean-payoff and total-payoff through windows. (English) Zbl 1317.68065 Inf. Comput. 242, 25-52 (2015). MSC: 68Q25 68Q17 91A05 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Inf. Comput. 242, 25--52 (2015; Zbl 1317.68065) Full Text: DOI