Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic and Markov automata. (English) Zbl 1400.68132 Inf. Comput. 262, Part 1, 162-186 (2018). MSC: 68Q85 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Inf. Comput. 262, Part 1, 162--186 (2018; Zbl 1400.68132) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic automata. (English) Zbl 1381.68115 Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 16-31 (2013). MSC: 68Q45 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7795, 16--31 (2013; Zbl 1381.68115) Full Text: DOI