juliahub.com "formal-verification" keyword
ReachabilityAnalysis 0.30.0
Computing reachable states of dynamical systems in Julia97 versions - Latest release: 8 months ago - 1 dependent package - 170 downloads last month - 217 stars on GitHub
Top 5.7% on juliahub.com
160 versions - Latest release: 8 months ago - 18 dependent packages - 4.69 thousand downloads last month - 259 stars on GitHub
LazySets 6.0.2
Scalable symbolic-numeric set computations in Julia160 versions - Latest release: 8 months ago - 18 dependent packages - 4.69 thousand downloads last month - 259 stars on GitHub
Related Keywords
julia
2
reachability-analysis
2
set-propagation
2
flowpipe
1
simulations
1
automatic-control
1
ode
1
verification
1
control-systems
1
dynamical-systems
1
interval-arithmetic
1
differential-equations
1
rigorous-numerics
1
cyber-physical-systems
1
hybrid-systems
1
numerical-analysis
1
projections
1
minkowski-sum
1
polygons
1
zonotope
1
computational-geometry
1
geometry-algorithms
1
geometry
1
sets
1
calculus
1
convex-hull
1
polyhedra
1
lazy-evaluation
1
convex-sets
1