Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K. SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 07120138 Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 33-38 (2019). Cited in 9 Documents MSC: 68Q45 Formal languages and automata 68Q60 Specification and verification (program logics, model checking, etc.) 93C30 Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) Keywords:linear systems; reachability; stochastic optimal control Software:MPT; Matlab; CVX; lrs; cdd; GeoCalcLib; FAUST2; GitHub; SReachTools PDFBibTeX XMLCite \textit{A. P. Vinod} et al., in: Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16--18, 2019. New York, NY: Association for Computing Machinery (ACM). 33--38 (2019; Zbl 07120138) Full Text: DOI