Computing reachable states of dynamical systems in Julia
Temporal Logic Planning toolbox
Neural Network Verification Software Tool
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (rel...
Reachability and Safety of Nondeterministic Dynamical Systems
A synchronous language with ODEs
Reachability analysis for closed-loop control systems in Julia