この資料をSMS送信: PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games