Consider an invariant before checking the property - Githubissues

JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems

MIT License

50 stars 4 forks source link

Consider an invariant before checking the property #691

Closed kpotomkin closed 4 years ago