JuliaReach / Reachability.jl

Reachability and Safety of Nondeterministic Dynamical Systems
MIT License
50 stars 4 forks source link

Fix type in project of GLGM06 #581

Closed mforets closed 5 years ago