Henk A. P. Blom, G. J. Bakker, Jaroslav Krystul. Probabilistic reachability analysis for large scale stochastic hybrid systems. In 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007. pages 3182-3189, IEEE, 2007. [doi]
Abstract is missing.