Stochastic Transition Systems for Continuous State Spaces and Non-determinism