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

Published 20 hours ago • verified publisher icon JuliaReach

check initial set type in ORBIT

Open mforets opened this issue 3 years ago • 0 comments

we can concretize(...) and convert to Singleton. requires https://github.com/JuliaReach/LazySets.jl/pull/2622

mforets avatar Mar 12 '21 17:03 mforets