Modelling and Verification of Probabilistic Systems

Graduate Course, RWTH Aachen, 2023