STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. - Martijn A. Goorden; Peter Gjøl Jensen; Kim G. Larsen; Mihhail Samusev; Jirí Srba; Guohan Zhao (ATVA, 2022)