- document
-
Gracia, Ibon (author), Boskos, D. (author), Laurenti, L. (author), Mazo, M. (author)We present a novel framework for formal control of uncertain discrete-time switched stochastic systems against probabilistic reach-avoid specifications. In particular, we consider stochastic systems with additive noise, whose distribution lies in an ambiguity set of distributions that are ε−close to a nominal one according to the Wasserstein...conference paper 2023