SReachTools

swMATH30627MaRDI QIDQ42341FDOQ42341

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?doid=3302504.3311809

Source code repository: https://github.com/unm-hscl/SReachTools

Described by source

• SReachTools

Cited In (8)

• SReachTools: A MATLAB stochastic reachability toolbox
• State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
• Lagrangian approximations for stochastic reachability of a target tube
• SCOTS
• FAUST2
• AMYTISS
• SeDuMi Interface
• A barrier function approach to finite-time stochastic system verification and control

This page was built for software: SReachTools