Model Checking And Strategy Synthesis For Stochastic Games From Theory To Practice Simons Institute