Baier, Christel; Cloth, Lucia; Haverkort, Boudewijn R.; Hermanns, Holger; Katoen, Joost-Pieter Performability assessment by model checking of Markov reward models. (English) Zbl 1209.68309 Form. Methods Syst. Des. 36, No. 1, 1-36 (2010). MSC: 68Q60 PDFBibTeX XMLCite \textit{C. Baier} et al., Form. Methods Syst. Des. 36, No. 1, 1--36 (2010; Zbl 1209.68309) Full Text: DOI
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Wolf, Verena Bisimulation and simulation relations for Markov chains. (English) Zbl 1316.68085 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 73-78 (2006). MSC: 68Q85 60J20 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Electron. Notes Theor. Comput. Sci. 162, 73--78 (2006; Zbl 1316.68085) Full Text: DOI
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter; Haverkort, Boudewijn R. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. (English) Zbl 1081.90066 Theor. Comput. Sci. 345, No. 1, 2-26 (2005). MSC: 90C40 68Q60 PDFBibTeX XMLCite \textit{C. Baier} et al., Theor. Comput. Sci. 345, No. 1, 2--26 (2005; Zbl 1081.90066) Full Text: DOI Link
Baier, Christel; Katoen, Joost-Pieter; Hermanns, Holger; Wolf, Verena Comparative branching-time semantics for Markov chains. (English) Zbl 1101.68053 Inf. Comput. 200, No. 2, 149-214 (2005). MSC: 68Q55 68Q10 68Q60 60J10 60J27 68Q85 PDFBibTeX XMLCite \textit{C. Baier} et al., Inf. Comput. 200, No. 2, 149--214 (2005; Zbl 1101.68053) Full Text: DOI Link
Baier, Christel; Hermanns, Holger; Katoen, Joost-Pieter Probabilistic weak simulation is decidable in polynomial time. (English) Zbl 1183.68703 Inf. Process. Lett. 89, No. 3, 123-130 (2004). MSC: 68U20 PDFBibTeX XMLCite \textit{C. Baier} et al., Inf. Process. Lett. 89, No. 3, 123--130 (2004; Zbl 1183.68703) Full Text: DOI