issues
search
JuliaReach
/
Reachability.jl
Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50
stars
4
forks
source link
#643 - Use operator norm
#644
Closed
mforets
closed
5 years ago
mforets
commented
5 years ago
Closes #643.
Closes #643.