Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1264.03087 Log. Methods Comput. Sci. 9, No. 2, Paper No. 7, 34 p. (2013). MSC: 03B70 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Log. Methods Comput. Sci. 9, No. 2, Paper No. 7, 34 p. (2013; Zbl 1264.03087) Full Text: DOI
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Efficient CSL model checking using stratification. (English) Zbl 1348.68152 Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012). MSC: 68Q60 68Q87 68W25 PDFBibTeX XMLCite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012; Zbl 1348.68152) Full Text: DOI
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. Flow faster: efficient decision algorithms for probabilistic simulations. (English) Zbl 1161.68473 Log. Methods Comput. Sci. 4, No. 4, Paper 6, 43 p. (2008). MSC: 68Q10 60J10 60J27 PDFBibTeX XMLCite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 4, No. 4, Paper 6, 43 p. (2008; Zbl 1161.68473) Full Text: DOI