Abstraction refinement for probabilistic software,” in (2009)

by M Kattenbelt, M Kwiatkowska, G Norman, D Parker
Venue:Proc. of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI’09),