Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun Probabilistic logical characterization. (English) Zbl 1210.68072 Inf. Comput. 209, No. 2, 154-172 (2011). MSC: 68Q85 03B70 68Q45 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Inf. Comput. 209, No. 2, 154--172 (2011; Zbl 1210.68072) Full Text: DOI
Wachter, Björn; Zhang, Lijun Best probabilistic transformers. (English) Zbl 1273.68244 Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 362-379 (2010). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{B. Wachter} and \textit{L. Zhang}, Lect. Notes Comput. Sci. 5944, 362--379 (2010; Zbl 1273.68244) Full Text: DOI
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun Time-bounded model checking of infinite-state continuous-time Markov chains. (English) Zbl 1214.68213 Fundam. Inform. 95, No. 1, 129-155 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Fundam. Inform. 95, No. 1, 129--155 (2009; Zbl 1214.68213) Full Text: DOI
Hermanns, Holger; Wachter, Björn; Zhang, Lijun Probabilistic CEGAR. (English) Zbl 1155.68438 Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 162-175 (2008). MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Lect. Notes Comput. Sci. 5123, 162--175 (2008; Zbl 1155.68438) Full Text: DOI