Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems

By A. Abate, Maria Prandini, John Lygeros, S. Sastry. at - Automatisierungstechnik, 2008

517 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Statistics and Probability

View Paper: https://www.semanticscholar.org/paper/552a4887cdf1d8e2c24a6bc37b2ec8427a74ef43