search

JuliaReach / Reachability.jl

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

#516 - Discretize using matrix interval remainder #659

Closed schillic closed 4 years ago

schillic commented 4 years ago

Closes #516.

schillic commented 4 years ago

Can you rebase please? I cannot read these changes.

schillic commented 4 years ago

Thanks! :+1: (I cannot approve my own PR.)