swMATH28217MaRDI QIDQ39931FDOQ39931
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1901.10736
Source code repository: https://github.com/JuliaReach/
Cited In (49)
- 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)
- Scenic
- Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
- ReachNN
- ProbabilityBoundsAnalysis.jl
- Codac
- ValEncIA-IVP
- Ariadne
- HSolver
- NLTOOLBOX
- AERN
- Ellipsoidal Toolbox
- SpaceEx
- HyDI
- IBEX
- Pyhybridanalysis
- C2e2
- dReach
- Flow*
- HyLAA
- XSpeed
- CORA
- HyPro
- Expokit.jl
- TaylorSeries.jl
- TaylorModels.jl
- Polyhedra.jl
- Differential_Game_Logic
- NNV
- DynIbex
- Lie symmetries applied to interval integration
- Acumen
- CAPD DynSys
- helperOC
- DaDRA
- KeYmaera X
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems
- Parameter synthesis of polynomial dynamical systems
- GoTube
- nnenum
- NNVODE
- Lazysets.jl
- Verisig
- Kaa
- Veritex
- 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
