JuliaReach
From MaRDI portal
Software:39931
No author found.
Source code repository: https://github.com/JuliaReach/
Related Items (9)
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices ⋮ Lie symmetries applied to interval integration ⋮ A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems ⋮ Reachability of weakly nonlinear systems using Carleman linearization ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) ⋮ Parameter synthesis of polynomial dynamical systems ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} ⋮ Reachability analysis of a general class of neural ordinary differential equations
This page was built for software: JuliaReach
