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

Published 20 hours ago • verified publisher icon JuliaReach

Overload remove_redundant_generators to zonotopic reach-sets / flowpipes

Open mforets opened this issue 3 years ago • 0 comments

Requires https://github.com/JuliaReach/LazySets.jl/issues/1453

mforets avatar Apr 12 '21 19:04 mforets