Assume-Guarantee Verification for Probabilistic Systems.

Marta Z. Kwiatkowska, Gethin Norman, David Parker, Hongyang Qu

Browse the full TACAS paper archive.