Found 2 Documents (Results 1–2)
SReachTools: a MATLAB stochastic reachability toolbox. (English) Zbl 1542.93030
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).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
all
top 5
Author
- Abate, Alessandro (1)
- Gleason, Joseph D. (1)
- Lavaei, Abolfazl (1)
- Oishi, Meeko M. K. (1)
- Soudjani, Sadegh (1)
- Vinod, Abraham P. (1)
- Zamani, Majid (1)
all
top 3
Software
- FAUST2 (2)
- SReachTools (2)
- AMYTISS (1)
- CEGAR (1)
- CVX (1)
- GeoCalcLib (1)
- GitHub (1)
- MPT (1)
- MathSAT5 (1)
- Matlab (1)
- Modelica (1)
- OmegaThreads (1)
- PRISM (1)
- ProbReach (1)
- SCOTS (1)
- SReach (1)
- SeDuMi (1)
- Sostools (1)
- StocHy (1)
- Storm (1)
- ToolboxLS (1)
- Uppaal Stratego (1)
- cdd (1)
- lrs (1)
- pFaces (1)
- z3 (1)