00mjk / reachabilityanalysis.jl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from juliareach/reachabilityanalysis.jl
Methods to compute sets of states reachable by dynamical systems
Home Page: https://juliareach.github.io/ReachabilityAnalysis.jl/dev/
License: MIT License