Correctness Verification of Neural Networks Approximating Differential Equations.
Petros EllinasRahul NellikkathIgnasi VenturaJochen StiasnySpyros ChatzivasileiadisPublished in: CoRR (2024)
Keyphrases
- differential equations
- neural network
- dynamical systems
- pattern recognition
- numerical solution
- ordinary differential equations
- numerical methods
- brownian motion
- artificial neural networks
- feed forward artificial neural networks
- fuzzy logic
- model checking
- partial differential equations
- boundary value problem
- reinforcement learning
- difference equations
- training process
- steady state
- transmission line
- activation function
- training algorithm
- power system
- nonlinear differential equations