Open AccessOn the Verification of Neural ODEs with Stochastic Guarantees
Author(s) -
Sophie Gruenbacher,
Ramin Hasani,
Mathias Lechner,
Jacek Cyranka,
Scott A. Smolka,
Radu Grosu
Publication year - 2021
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v35i13.17372
Subject(s) - reachability , computer science , artificial neural network , mathematical optimization , convergence (economics) , set (abstract data type) , ode , stochastic neural network , sensitivity (control systems) , backpropagation , mathematics , algorithm , recurrent neural network , artificial intelligence , electronic engineering , engineering , economics , programming language , economic growth