Prediction and Control of Stochastic Agents Using Formal Methods. - Avraham Raviv; Yuval Gerber; Liri Benzinou; Michelle Aluf-Medina; Hillel Kugler (FoMLAS@CAV, 2023)