Found 3 Documents (Results 1–3)
State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings. (English) Zbl 1485.93640
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 (2)
- Collection Articles (1)
all
top 5
Author
- Oishi, Meeko M. K. (2)
- Abate, Alessandro (1)
- Gleason, Joseph D. (1)
- Lavaei, Abolfazl (1)
- Ortiz, Kendric R. (1)
- Soudjani, Sadegh (1)
- Thorpe, Adam J. (1)
- Vinod, Abraham P. (1)
- Zamani, Majid (1)
Volume
- 146 (2022) (1)
- 138 (2022) (1)
all
top 3
Software
- SReachTools (3)
- FAUST2 (2)
- ProbReach (2)
- StocHy (2)
- AMYTISS (1)
- CEGAR (1)
- CVX (1)
- GeoCalcLib (1)
- GitHub (1)
- MPT (1)
- MathSAT5 (1)
- Matlab (1)
- Modelica (1)
- OmegaThreads (1)
- PRISM (1)
- SCOTS (1)
- SReach (1)
- SeDuMi (1)
- Sostools (1)
- Storm (1)
- ToolboxLS (1)
- Uppaal Stratego (1)
- cdd (1)
- lrs (1)
- pFaces (1)
- z3 (1)