PrototypeCommon
JuliaReach/ReachabilityAnalysis.jl
Computing reachable states of dynamical systems in Julia
- Owner
- JuliaReach (organization)
- Stars
- Stars: 218
- Forks
- Forks: 17
- Language
- Julia
- License
- MIT
- Created
- 2019
- Topics
- numerical-analysishybrid-systemsformal-verificationcyber-physical-systemsreachability-analysisrigorous-numericsdifferential-equationsinterval-arithmeticdynamical-systemscontrol-systems
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by JuliaReach
All 2 repos by JuliaReach- JuliaReach/LazySets.jlStars: 258JuliaAlpha
Nearby in Julia
All Julia repos- gaurav-arya/StochasticAD.jlStars: 219JuliaPrototype
- JuliaLang/METADATA.jlStars: 218JuliaPrototype
- JuliaGPU/oneAPI.jlStars: 218JuliaPrototype
- JuliaGeometry/GeometryBasics.jlStars: 217JuliaPrototype
- SciML/Sundials.jlStars: 216JuliaPrototype