Automated Verification Techniques for Probabilistic Systems

by Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, David Parker