SReachTools: A MATLAB stochastic reachability toolbox: demo abstract

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