この資料をSMS送信: Equilibria-based probabilistic model checking for concurrent stochastic games