SReachTools

swMATH30627MaRDI QIDQ42341

No author found.

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

Described by source

• SReachTools

Related Items (5)

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

This page was built for software: SReachTools