Login / Signup
Safety Verification for Random Ordinary Differential Equations.
Bai Xue
Martin Fränzle
Naijun Zhan
Sergiy Bogomolov
Bican Xia
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
</>
ordinary differential equations
differential equations
dynamic systems
phase space
partial differential equations
numerical integration
numerical solution
biological systems
mathematical models
data sets
genetic regulatory networks
artificial intelligence
gene regulatory networks