@INCOLLECTION{AAPLS07,
AUTHOR = {A. Abate and S. Amin and M. Prandini and J. Lygeros and S. Sastry},
TITLE = {Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems},
BOOKTITLE = {Hybrid Systems: Computation and Control},
YEAR = {2007},
EDITOR = {A. Bemporad and A. Bicchi and G. Buttazzo},
PUBLISHER = {Springer Verlag},
SERIES = {Lecture Notes in Computer Science 4416},
PAGES = {4-17},
};

  back to Publications