XSpeed
From MaRDI portal
swMATH20159MaRDI QIDQ31981FDOQ31981
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?doid=2728606.2728644
Cited In (20)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
- Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- NLTOOLBOX
- Ellipsoidal Toolbox
- HyDI
- C2e2
- Flow*
- HyLAA
- HyPro
- JuliaReach
- Expokit.jl
- Polyhedra.jl
- TIRA
- JuliaReach
- ERAN
- Counterexample-Guided Refinement of Template Polyhedra
- GoTube
- Lazysets.jl
This page was built for software: XSpeed
