SReachTools

MaRDI QIDQ42341swMATHFDO

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

(18)

• 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
• MPT
• ProbReach
• SCOTS
• SReach
• GeoCalcLib
• FAUST2
• pFaces
• AMYTISS
• StocHy
• FaSTrack
• helperOC
• SeDuMi Interface
• AMYTISS
• Safety Gym
• A barrier function approach to finite-time stochastic system verification and control

This page was built for software: SReachTools