Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

著者: Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry - Automatica 2008 被引用: 443