JuliaReach
Results
8
repositories owned by
JuliaReach
LazySets.jl
227
Stars
32
Forks
Watchers
Scalable symbolic-numeric set computations in Julia
ReachabilityAnalysis.jl
186
Stars
17
Forks
Watchers
Computing reachable states of dynamical systems in Julia
Reachability.jl
50
Stars
4
Forks
Watchers
Reachability and Safety of Nondeterministic Dynamical Systems
ClosedLoopReachability.jl
44
Stars
2
Forks
Watchers
Reachability analysis for closed-loop control systems in Julia
IntervalMatrices.jl
18
Stars
2
Forks
Watchers
Matrices with interval coefficients in Julia
JuliaCon-2021-Workshop-Its-All-Set
19
Stars
2
Forks
Watchers
It's all Set: A hands-on introduction to JuliaReach
MathematicalSystems.jl
42
Stars
6
Forks
Watchers
Systems definitions in Julia