Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method. (May 2020)