Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems
A. Abate‚ M. Prandini‚ J. Lygeros and S. Sastry
ISSN
0005−1098
Journal
Automatica Journal of IFAC
Number
1
Pages
2724−2734
Publisher
Elsevier
Volume
44
Year
2008