Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. Probabilistic bisimulation for realistic schedulers. (English) Zbl 1398.68374 Acta Inf. 55, No. 6, 461-488 (2018). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{L. Zhang} et al., Acta Inf. 55, No. 6, 461--488 (2018; Zbl 1398.68374) Full Text: DOI
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193 Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 9109, 248--264 (2015; Zbl 1427.68193) Full Text: DOI
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun Probably safe or live. (English) Zbl 1394.68231 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014). MSC: 68Q60 03B44 68Q85 68Q87 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 55, 10 p. (2014; Zbl 1394.68231) Full Text: DOI arXiv Link
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