XSpeed
From MaRDI portal
Software:31981
swMATH20159MaRDI QIDQ31981FDOQ31981
Author name not available (Why is that?)
Cited In (6)
- 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
- JuliaReach
- Counterexample-Guided Refinement of Template Polyhedra
This page was built for software: XSpeed
