$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations.
Ruiqi HuMeilun LiZhikun ShePublished in: SETTA (2021)
Keyphrases
- differential equations
- dynamical systems
- ordinary differential equations
- numerical methods
- numerical solution
- nonlinear differential equations
- boundary value problem
- brownian motion
- feed forward artificial neural networks
- transmission line
- partial differential equations
- pairwise
- edge detection
- artificial neural networks
- pattern recognition
- numerical integration
- runge kutta
- neural network