JuliaReach/ARCH2019_RE JuliaReach/ARCH2019_RE

  • Stars
    star
    1
  • Language
    Julia
  • Created almost 6 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JuliaReach/ARCH2019_RE
github

JuliaReach

Reviews

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

Repository Details

Repeatability Evaluation package for the ARCH2019 Competition

More Repositories

1

LazySets.jl

Scalable symbolic-numeric set computations in Julia
Julia
226
star
2

ReachabilityAnalysis.jl

Computing reachable states of dynamical systems in Julia
Julia
191
star
3

Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
Julia
50
star
4

ClosedLoopReachability.jl

Reachability analysis for closed-loop control systems in Julia
Polar
44
star
5

MathematicalSystems.jl

Systems definitions in Julia
Julia
42
star
6

RangeEnclosures.jl

Enclosures of real-valued functions in Julia
Julia
22
star
7

JuliaCon-2021-Workshop-Its-All-Set

It's all Set: A hands-on introduction to JuliaReach
Jupyter Notebook
19
star
8

IntervalMatrices.jl

Matrices with interval coefficients in Julia
Julia
18
star
9

BernsteinExpansions.jl

Computing Bernstein coefficients of multivariate polynomials in Julia
Julia
10
star
10

juliareach-days-3

CSS
9
star
11

SpaceExParser.jl

Parser for the SpaceEx modeling language in Julia
Julia
7
star
12

CarlemanLinearization.jl

Carleman linearization for dynamical systems in Julia
Julia
7
star
13

ReachabilityModels.jl

JuliaReach model library
Julia
5
star
14

MathematicalSets.jl

Set definitions in Julia
Julia
5
star
15

JuliaReach-website

Website of the JuliaReach organization
Jupyter Notebook
5
star
16

LazySets-JuliaCon21

LazySets.jl article for the JuliaCon 2021 Conference Proceedings
TeX
5
star
17

JuliaCon-2021-Minisymposium-Set-Propagation

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

MathematicalPredicates.jl

Predicate definitions in Julia
Julia
4
star
19

ReachabilityBenchmarks

JuliaReach benchmark suite
Jupyter Notebook
4
star
20

SetPropagation-FEM-Examples

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

ARCH2020_NLN_RE

Repeatability Evaluation package for the ARCH2020 NLN Competition
Julia
3
star
22

PolynomialZonotopes.jl

Polynomial zonotopes extension for LazySets
Julia
3
star
23

Flowstar.jl

Julia wrapper for Flow*
Julia
3
star
24

RP21_RE

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

juliareach-days-3-reachathon

Jupyter Notebook
2
star
26

ReachabilityBase.jl

Base library for the JuliaReach ecosystem
Julia
2
star
27

SetPropagation-FEM-JuliaCon21

Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl
TeX
1
star
28

ARCH2018_RE

Repeatability Evaluation package for the ARCH2018 Competition
Julia
1
star
29

ClampedFreeBar

Benchmark problem of wave propagation in a clamped-free bar
Jupyter Notebook
1
star
30

ARCH2022_AFF_RE

Repeatability evaluation package for the ARCH2022 AFF competition
Julia
1
star
31

AAAI22_RE

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

ARCH2023_AINNCS_RE

Repeatability package for ARCH-COMP 2023 AINNCS
Julia
1
star
33

JuliaReachDevDocs

JuliaReach development guidelines and resources
Julia
1
star
34

NeuralNetworkReachability.jl

Set propagation for neural networks in Julia
Julia
1
star