SReachTools: a MATLAB stochastic reachability toolbox

Abraham P. Vinod, Joseph D Gleason, Meeko M. K. Oishi
January 2019 featured_pub
Type
Conference paper
Publication
Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC)