New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Under-approximations #232

Open

dpsanders opened this issue Jun 5, 2020 · 1 comment

Collaborator

dpsanders commented Jun 5, 2020

Under-approximations for solutions of ODEs, implemented via a generalized mean-value form:

https://ieeexplore.ieee.org/abstract/document/9099222

Implemented in

https://github.com/cosynus-lix/RINO

Member

mforets commented Jun 5, 2020

Interesting, thanks!

mforets transferred this issue from JuliaReach/Reachability.jl

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment