Quantitative Multi-objective Verification for Probabilistic Systems
scientific article; zbMATH DE number 5897400