Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry. Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. In Alberto Bemporad, Antonio Bicchi, Giorgio C. Buttazzo, editors, Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings. Volume 4416 of Lecture Notes in Computer Science, pages 4-17, Springer, 2007. [doi]
@inproceedings{AbateAPLS07, title = {Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems}, author = {Alessandro Abate and Saurabh Amin and Maria Prandini and John Lygeros and Shankar Sastry}, year = {2007}, doi = {10.1007/978-3-540-71493-4_4}, url = {http://dx.doi.org/10.1007/978-3-540-71493-4_4}, tags = {analysis, systematic-approach}, researchr = {https://researchr.org/publication/AbateAPLS07}, cites = {0}, citedby = {0}, pages = {4-17}, booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings}, editor = {Alberto Bemporad and Antonio Bicchi and Giorgio C. Buttazzo}, volume = {4416}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-71492-7}, }