Probabilistic model checking: applications and trends (Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, 2025)

(untitled) - Kwiatkowska, M; Norman, G; Parker, D