Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. Bisimulations and logical characterizations on continuous-time Markov decision processes. (English) Zbl 1428.68191 McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 98-117 (2014). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Lect. Notes Comput. Sci. 8318, 98--117 (2014; Zbl 1428.68191) Full Text: DOI arXiv
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
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1344.68170 Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 108-123 (2011). MSC: 68Q85 03B44 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Lect. Notes Comput. Sci. 6901, 108--123 (2011; Zbl 1344.68170) Full Text: DOI