Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. In Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo, editors, Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Volume 4416 of Lecture Notes in Computer Science, pages 4-17, Springer, 2007. [doi]
Abstract is missing.