Assume-Guarantee Abstraction Refinement for Probabilistic Systems.

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke

Browse the full CAV paper archive.