@techreport{RR-12-05, title = "INCREMENTAL RUNTIME VERIFICATION OF PROBABLISTIC SYSTEMS", author = "Vojtech Forejt and Marta Kwiatkowska and David Parker and Hongyang Qu and Mateusz Ujma", year = "2012", institution = "DCS", number = "RR-12-05", pages = "15", }