Title | Verification of Neural ODEs with Stochastic Guarantees |
Publication Type | Conference Paper |
Year of Publication | 2021 |
Authors | Gruenbacher, S., Cyranka J., Lechner M., Smolka S. A., and Grosu R. |
Conference Name | Proceedings of AAAI-21, 35th AAAI Conference on Artificial Intelligence |
Date Published | 02/2021 |