| 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 |
