この資料をSMS送信: Compositional Controller Synthesis for Stochastic Games