Certified Neural Approximations of Nonlinear Dynamics

Frederik Baymler Mathiesen, Nikolaus Vertovec, Francesco Fabiano +2

Neural networks hold great potential to act as approximate models of nonlinear dynamical systems, with the resulting neural approximations enabling verification and control of such…