GitHub repository: mforets/ReachabilityAnalysis.jl
Primary language: Julia
Created: 2019-12-03T13:04:40Z
Description: Methods to compute sets of states reachable by dynamical systems