"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