ReachabilityAnalysis (julia): Methods to compute sets of states reachable by dynamical systems
Keywords: rigorous-numerics|formal-verification|differential-equations|dynamical-systems|control-systems|hybrid-systems|cyber-physical-systems|simulations|numerical-analysis|interval-arithmetic|set-propagation|flowpipe|reachability-analysis|automatic-control|ode|julia|verification