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
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
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun Deciding bisimilarities on distributions. (English) Zbl 1398.68364 Joshi, Kaustubh (ed.) et al., Quantitative evaluation of systems. 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40195-4/pbk). Lecture Notes in Computer Science 8054, 72-88 (2013). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 8054, 72--88 (2013; Zbl 1398.68364) 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
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun A semantics for every GSPN. (English) Zbl 1381.68199 Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 90-109 (2013). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7927, 90--109 (2013; Zbl 1381.68199) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun Concurrency and composition in a stochastic world. (English) Zbl 1287.68132 Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 21-39 (2010). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 6269, 21--39 (2010; Zbl 1287.68132) Full Text: DOI