decompose for fixed target type with overapproximation

JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia

https://juliareach.github.io/LazySets.jl/

Other

226 stars 32 forks source link

Closed schillic closed 6 months ago

schillic commented 7 months ago

Outsourced from ReachabilityAnalysis.

schillic commented 6 months ago

:+1: done