search

JuliaReach / Reachability.jl

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

Concretely type zonotopes in ASB07 #754

Closed schillic closed 4 years ago

schillic commented 4 years ago

This is a hack to restore the algorithm ASB07.

schillic commented 4 years ago

The build error has a similar reason but is for a different operator (GLGM06), so I will merge this fix.