Title | Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems |
Publication Type | Conference Papers |
Year of Publication | 2007 |
Authors | Abate, A., S. Amin, M. Prandini, J. Lygeros, and S. Sastry |
Conference Name | Hybrid Systems: Computation and Control, 10th International Workshop, {HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings |
Pagination | 4–17 |
URL | http://dx.doi.org/10.1007/978-3-540-71493-4_4 |
DOI | 10.1007/978-3-540-71493-4_4 |