JuliaReach/ARCH2018_RE

Stars
1
Language
Julia
License
MIT License
Created over 6 years ago
Updated 11 months ago

JuliaReach/ARCH2018_RE

JuliaReach

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repeatability Evaluation package for the ARCH2018 Competition

LazySets.jl

Scalable symbolic-numeric set computations in Julia

ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia

Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

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

JuliaCon-2021-Workshop-Its-All-Set

It's all Set: A hands-on introduction to JuliaReach

Jupyter Notebook

IntervalMatrices.jl

Matrices with interval coefficients in Julia

BernsteinExpansions.jl

Computing Bernstein coefficients of multivariate polynomials in Julia

juliareach-days-3

SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia

CarlemanLinearization.jl

Carleman linearization for dynamical systems in Julia

ReachabilityModels.jl

JuliaReach model library

MathematicalSets.jl

Set definitions in Julia

JuliaReach-website

Website of the JuliaReach organization

Jupyter Notebook

LazySets-JuliaCon21

LazySets.jl article for the JuliaCon 2021 Conference Proceedings

JuliaCon-2021-Minisymposium-Set-Propagation

Minisymposium for JuliaCon 2021: Applications of Set Propagation Techniques in Julia

MathematicalPredicates.jl

Predicate definitions in Julia

ReachabilityBenchmarks

JuliaReach benchmark suite

Jupyter Notebook

SetPropagation-FEM-Examples

Repeatability Evaluation package for "Combining Set Propagation with Finite Element Methods for Time Integration in Transient Solid Mechanics Problems"

ARCH2020_NLN_RE

Repeatability Evaluation package for the ARCH2020 NLN Competition

PolynomialZonotopes.jl

Polynomial zonotopes extension for LazySets

Flowstar.jl

Julia wrapper for Flow*

RP21_RE

Repeatibility Evaluation for "Reachability of weakly nonlinear systems using Carleman linearization" (RP'21)

juliareach-days-3-reachathon

Jupyter Notebook

ReachabilityBase.jl

Base library for the JuliaReach ecosystem

SetPropagation-FEM-JuliaCon21

Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl

ClampedFreeBar

Benchmark problem of wave propagation in a clamped-free bar

Jupyter Notebook

ARCH2022_AFF_RE

Repeatability evaluation package for the ARCH2022 AFF competition

ARCH2019_RE

Repeatability Evaluation package for the ARCH2019 Competition

AAAI22_RE

Repeatibility evaluation for "Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes" (AAAI'22)

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