Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley. Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. In Rupak Majumdar, Paulo Tabuada, editors, Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings. Volume 5469 of Lecture Notes in Computer Science, pages 460-464, Springer, 2009. [doi]

This author has not been identified. Look up 'Derek Riley' in GoogleThis author has not been identified. Look up 'Xenofon D. Koutsoukos' in GoogleThis author has not been identified. Look up 'Kasandra Riley' in Google

runs on WebDSL