search

JuliaReach / Reachability.jl

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

#562 - Revise overapproximation options with template directions #633

Closed schillic closed 5 years ago

schillic commented 5 years ago

Closes #562. Closes #628.

I decided to remove the overapproximation symbols because they complicate things considerably. We anyway never truly used them.