kamilkhanlab / ob-ode-relaxations

Proof-of-concept implementation of a method by Song and Khan (2022) for computing convex relaxations for parametric ordinary differential equations.

Geek Repo

Github PK Tool