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

Published 20 hours ago • verified publisher icon JuliaReach

Add `ntdiv` option in `overapproximate` TMReachSet with Zonotope given dom

Open mforets opened this issue 2 years ago • 0 comments

See https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/src/ReachSets/TaylorModelReachSet.jl#L320

mforets avatar May 12 '22 08:05 mforets