search

JuliaReach / Reachability.jl

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

Fix normalization for affine systems #733

Closed mforets closed 4 years ago

mforets commented 4 years ago

tests pass locally, but i use the dev branch of MathematicalSystems.

schillic commented 4 years ago

Yes, we have to wait here until MathematicalSystems makes a new release.