Abstraction Refinement for Probabilistic Software.

Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker

Browse the full VMCAI paper archive.