Biblio
Found 2 results
Filters: Author is Lygeros, John [Clear All Filters]
"Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems",
Hybrid Systems: Computation and Control, Berlin, Heidelberg, Springer Berlin Heidelberg, 2007.
"Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems",
Hybrid Systems: Computation and Control, Berlin, Heidelberg, Springer Berlin Heidelberg, 2006.