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
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
ARCH2022_AFF_RE
Repeatability evaluation package for the ARCH2022 AFF competition
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
ARCH2021_AFF_RE
Repeatability evaluation package for the ARCH2021 AFF competition
ARCH2021_AINNCS_RE
Repeatability evaluation package for the ARCH2021 AI/NNCS competition
ARCH2021_NLN_RE
Repeatability evaluation package for the ARCH2021 NLN competition
ARCH2022_AINNCS_RE
Repeatability evaluation package for the ARCH2022 AINNCS competition
ARCH2022_NLN_RE
Repeatability evaluation package for the ARCH2022 NLN competition
ARCH2023_AFF_RE
Repeatability package for ARCH-COMP 2023 AFF
ARCH2023_NLN_RE
Repeatability package for ARCH-COMP 2023 NLN
ControllerFormats.jl
Controller formats in Julia
JuliaReachTemplatePkg.jl
JuliaReach package template