Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems | IEEE Conference Publication | IEEE Xplore