JuliaReach/Reachability.jl

Readme
Issues
Stargazers
Watchers

Add a Project environment file

Closed this issue 6 years ago · 1 comments

mforets commented 6 years ago

Add a Project environment file

schillic commented 6 years ago

See #438.

Topics

dynamical-systems control-systems formal-verification reachability-analysis hybrid-systems engineering control-theory verification cyber-physical-systems ode julia automatic-control simulations

Share to

Contact site admin: Geeks.