Model Checking for Parametric Ordinary Differential Equations System

Ran Liu, Yun Fang, Lixing Zhu

Ordinary differential equations have been used to model dynamical systems in a broad range. Model checking for parametric ordinary differential equations is a necessary step to che…