search

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Check the property after intersection reach_set with invariant #692

Closed kpotomkin closed 5 years ago