Verifying Safety Properties of Differential Equations.

Mark R. Greenstreet

Published in: CAV (1996)

Keyphrases

differential equations
initial conditions
dynamical systems
ordinary differential equations
boundary value problem
numerical solution
brownian motion
partial differential equations
numerical methods
neural network
machine learning
complex systems
high order
nonlinear differential equations