"Reachability Analysis for Stochastic Hybrid Systems Using Multilevel ..."

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics