JuliaReach / LazySets.jl Star 253 Code Issues Pull requests Scalable symbolic-numeric set computations in Julia calculus geometry julia computational-geometry convex-hull lazy-evaluation polygons projections formal-verification polyhedra sets minkowski-sum reachability-analysis convex-sets geometry-algorithms zonotope set-propagation Updated Dec 2, 2025 Julia
JuliaReach / ReachabilityAnalysis.jl Star 206 Code Issues Pull requests Computing reachable states of dynamical systems in Julia julia verification ode simulations dynamical-systems control-systems differential-equations interval-arithmetic hybrid-systems formal-verification numerical-analysis cyber-physical-systems reachability-analysis automatic-control flowpipe rigorous-numerics set-propagation Updated Dec 1, 2025 Julia
JuliaReach / LazySets-JuliaCon21 Star 5 Code Issues Pull requests LazySets.jl article for the JuliaCon 2021 Conference Proceedings formal-verification reachability-analysis hybrid-system set-propagation support-function Updated Jan 28, 2022 TeX