GitHub repository: mschauer/Reachability.jl
Primary language: Julia
Description: Reachability and Safety Properties of Affine ODEs with Nondeterministic Inputs