JuliaReach
From MaRDI portal
Software:39931
swMATH28217MaRDI QIDQ39931FDOQ39931
Author name not available (Why is that?)
Source code repository: https://github.com/JuliaReach/
Cited In (9)
- 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)
- Lie symmetries applied to interval integration
- Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- Parameter synthesis of polynomial dynamical systems
- Reachability of weakly nonlinear systems using Carleman linearization
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Reachability analysis of a general class of neural ordinary differential equations
This page was built for software: JuliaReach
