search

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Zonotope overapproximation of intersection between zonotope and axis-aligned half-space based on ICP #3457

Closed schillic closed 5 months ago

schillic commented 7 months ago

EDIT: I outsourced the ICP-related code to #3482. This was merged to master and rebased.