STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego.

Martijn A. Goorden, Peter Gjl Jensen, Kim G. Larsen, Mihhail Samusev, Jir Srba, Guohan Zhao

Browse the full ATVA paper archive.