1. Lazysets.jl
A Julia package for calculus with convex sets
2. Reachabilityanalysis.jl
Methods to compute sets of states reachable by dynamical systems
3. NeuralNetworkAnalysis.jl
Reachability analysis for closed-loop control systems
1-3 of 3 user projects