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

Published 20 hours ago • verified publisher icon JuliaReach

Spacecraft model with TMJets21b fails

Open mforets opened this issue 3 years ago • 0 comments

It crashes with an assertion error (radius must be nonnegative).

mforets avatar May 22 '21 04:05 mforets