ReachabilityAnalysis.jl
ReachabilityAnalysis.jl copied to clipboard
Concrete affine map for reach sets
cf. https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/505
cf. https://github.com/JuliaReach/ReachabilityAnalysis.jl/pull/505