أرسل هذا في رسالة قصيرة: Equilibria-based probabilistic model checking for concurrent stochastic games