XSpeed

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)
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
• JuliaReach
• Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
• Counterexample-Guided Refinement of Template Polyhedra

This page was built for software: XSpeed