Quantitative Multi-objective Verification for Probabilistic Systems.

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

Browse the full TACAS paper archive.