أرسل هذا في رسالة قصيرة: Automatic Verification of Competitive Stochastic Systems.