ReachabilityAnalysis.jl icon indicating copy to clipboard operation
ReachabilityAnalysis.jl copied to clipboard

Published 20 hours ago • verified publisher icon JuliaReach

Merge and generalize `overapproximate` methods with `HPolytope`

Open schillic opened this issue 2 weeks ago • 0 comments

The implementation was not specific to Hyperrectangles at all, so I generalized it.

schillic avatar Jun 16 '24 07:06 schillic