Computing Optimal Strategies to Commit to in Stochastic Games | Synapse