search

JuliaReach / Reachability.jl

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

Use zonotope decomposition in ASB07_decomposed #736

Closed schillic closed 4 years ago

schillic commented 4 years ago

This requires https://github.com/JuliaReach/LazySets.jl/pull/1920.