XSpeed
From MaRDI portal
Cited in
(20)- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- JuliaReach
- NLTOOLBOX
- Ellipsoidal Toolbox
- HyDI
- C2e2
- Flow*
- HyLAA
- HyPro
- JuliaReach
- Expokit.jl
- Polyhedra.jl
- TIRA
- ERAN
- GoTube
- Lazysets.jl
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Counterexample-Guided Refinement of Template Polyhedra
This page was built for software: XSpeed
