@INCOLLECTION{AAPLS06,
AUTHOR = {S. Amin and A. Abate and M. Prandini and J. Lygeros and S. Sastry},
TITLE = {Reachability analysis for controlled discrete time stochastic hybrid systems},
BOOKTITLE = {Hybrid Systems: Computation and Control},
YEAR = {2006},
EDITOR = {J. Hespanha and A. Tiwari},
PUBLISHER = {Springer Verlag},
SERIES = {Lecture Notes in Computer Science 3927},
PAGES = {49-63},
};

  back to Publications