Deductive Stability Proofs for Ordinary Differential Equations.
Yong Kiam TanAndré PlatzerPublished in: TACAS (2) (2021)
Keyphrases
- ordinary differential equations
- differential equations
- dynamic systems
- phase space
- numerical integration
- numerical solution
- partial differential equations
- mathematical models
- genetic regulatory networks
- gene regulatory networks
- biological systems
- object oriented
- data sets
- complex systems
- probabilistic model
- dynamic programming
- feature selection