Probabilistic testing for stochastic hybrid systems