أرسل هذا في رسالة قصيرة: Quantitative Multi-objective Verification for Probabilistic Systems.