issues
search
JuliaReach
/
LazySets.jl
Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226
stars
32
forks
source link
reduce_order for zonotope with static matrix
#3467
Closed
schillic
closed
4 months ago
schillic
commented
4 months ago
Outsourced from
ReachabilityAnalysis
.
Outsourced from
ReachabilityAnalysis
.