On The Verification of Neural ODEs with Stochastic Guarantees.
Sophie GruenbacherRamin M. HasaniMathias LechnerJacek CyrankaScott A. SmolkaRadu GrosuPublished in: CoRR (2020)
Keyphrases
- network architecture
- neural network
- ordinary differential equations
- model checking
- bio inspired
- neural model
- formal verification
- monte carlo
- stochastic optimization
- face verification
- nonlinear predictive control
- stochastic model
- biologically inspired
- multistage
- mobile robot
- mathematical modeling
- neural fuzzy
- multiscale