Symbolic Model Checking for Factored Probabilistic Models. - David Deininger; Rayna Dimitrova; Rupak Majumdar (ATVA, 2016)