Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

Authors: Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry - Automatica 2008 cited by 443