JuliaReach's repositories
LazySets.jl
Scalable symbolic-numeric set computations in Julia
ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
ClosedLoopReachability.jl
Reachability analysis for closed-loop control systems in Julia
MathematicalSystems.jl
Systems definitions in Julia
RangeEnclosures.jl
Enclosures of real-valued functions in Julia
IntervalMatrices.jl
Matrices with interval coefficients in Julia
BernsteinExpansions.jl
Computing Bernstein coefficients of multivariate polynomials in Julia
CarlemanLinearization.jl
Carleman linearization for dynamical systems in Julia
SpaceExParser.jl
Parser for the SpaceEx modeling language in Julia
JuliaReach-website
Website of the JuliaReach organization
MathematicalSets.jl
Set definitions in Julia
ReachabilityModels.jl
JuliaReach model library
MathematicalPredicates.jl
Predicate definitions in Julia
ReachabilityBenchmarks
JuliaReach benchmark suite
Flowstar.jl
Julia wrapper for Flow*
ReachabilityBase.jl
Base library for the JuliaReach ecosystem
ARCH2023_AINNCS_RE
Repeatability package for ARCH-COMP 2023 AINNCS
JuliaReachDevDocs
JuliaReach development guidelines and resources
NeuralNetworkReachability.jl
Set propagation for neural networks in Julia
AISoLA2023_RE
Repeatability package for AISoLA 2023
ARCH2022_AINNCS_RE
Repeatability evaluation package for the ARCH2022 AINNCS competition
ARCH2023_AFF_RE
Repeatability package for ARCH-COMP 2023 AFF
ARCH2023_NLN_RE
Repeatability package for ARCH-COMP 2023 NLN
ARCH2024_AFF_RE
Repeatability package for ARCH-COMP 2024 AFF
ARCH2024_AINNCS_RE
Repeatability package for ARCH-COMP 2024 AINNCS
ARCH2024_NLN_RE
Repeatability package for ARCH-COMP 2024 NLN
ControllerFormats.jl
Controller formats in Julia
JuliaReachTemplatePkg.jl
JuliaReach package template