kamilkhanlab / ob-ode-relaxations Goto Github PK
View Code? Open in Web Editor NEWProof-of-concept implementation of a method by Song and Khan (2022) for computing convex relaxations for parametric ordinary differential equations.
License: MIT License