{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T10:30:31Z","timestamp":1787135431738,"version":"3.56.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031999901","type":"print"},{"value":"9783031999918","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:00:00Z","timestamp":1761609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99991-8_5","type":"book-chapter","created":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T06:02:24Z","timestamp":1761804144000},"page":"97-114","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Bridging Neural ODE and\u00a0ResNet: A Formal Error Bound for\u00a0Safety Verification"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8912-0679","authenticated-orcid":false,"given":"Abdelrahman Sayed","family":"Sayed","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8167-3156","authenticated-orcid":false,"given":"Pierre-Jean","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1160-7997","authenticated-orcid":false,"given":"Mohamed","family":"Ghazel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Althoff, M.: An introduction to CORA 2015. In: Proceedings of the Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 120\u2013151 (2015)","DOI":"10.29007\/zbkv"},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1177\/105971239500300405","volume":"3","author":"RD Beer","year":"1995","unstructured":"Beer, R.D.: On the dynamics of small continuous-time recurrent neural networks. Adapt. Behav. 3(4), 469\u2013509 (1995)","journal-title":"Adapt. Behav."},{"key":"5_CR3","unstructured":"Behrmann, J., Grathwohl, W., Chen, R.T., Duvenaud, D., Jacobsen, J.H.: Invertible residual networks. In: International Conference on Machine Learning, pp. 573\u2013582. PMLR (2019)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Boudardara, F., Boussif, A., Meyer, P.J., Ghazel, M.: Innabstract: An inn-based abstraction method for large-scale neural network verification. IEEE Trans. Neural Netw. Learn. Syst. 35, 18455\u201318469 (2023)","DOI":"10.1109\/TNNLS.2023.3316551"},{"key":"5_CR5","unstructured":"Chen, R.T., Rubanova, Y., Bettencourt, J., Duvenaud, D.K.: Neural ordinary differential equations. In: Advances in Neural Information Processing Systems, vol. 31 (2018)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/B:NUMA.0000049462.70970.b6","volume":"37","author":"LH Figueiredo","year":"2004","unstructured":"Figueiredo, L.H., Stolfi, J.: Affine arithmetic: concepts and applications. Num. Algorithms 37, 147\u2013158 (2004)","journal-title":"Num. Algorithms"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Gruenbacher, S., Hasani, R., Lechner, M., Cyranka, J., Smolka, S.A., Grosu, R.: On the verification of neural odes with stochastic guarantees. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a035, pp. 11525\u201311535 (2021)","DOI":"10.1609\/aaai.v35i13.17372"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Gruenbacher, S.A., et al.: GoTube: scalable statistical verification of continuous-depth models. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a036, pp. 6755\u20136764 (2022)","DOI":"10.1609\/aaai.v36i6.20631"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6420\/aa9a90","volume":"34","author":"E Haber","year":"2017","unstructured":"Haber, E., Ruthotto, L.: Stable architectures for deep neural networks. Inverse Prob. 34(1), 014004 (2017)","journal-title":"Inverse Prob."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"He, K., Zhang, X., Ren, S., Sun, J.: Deep residual learning for image recognition. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 770\u2013778 (2016)","DOI":"10.1109\/CVPR.2016.90"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-63387-9_1","volume-title":"Computer Aided Verification","author":"X Huang","year":"2017","unstructured":"Huang, X., Kwiatkowska, M., Wang, S., Wu, M.: Safety verification of deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 3\u201329. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_1"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Jaulin, L., et al.: Interval Analysis. Springer (2001). https:\/\/doi.org\/10.1007\/978-1-4471-0249-6_2","DOI":"10.1007\/978-1-4471-0249-6_2"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification","author":"G Katz","year":"2017","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"key":"5_CR14","unstructured":"Kidger, P.: On neural differential equations. Ph.D. thesis, University of Oxford (2021)"},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Liang, Z., Ren, D., Liu, W., Wang, J., Yang, W., Xue, B.: Safety verification for neural networks based on set-boundary analysis. In: International Symposium on Theoretical Aspects of Software Engineering, pp. 248\u2013267. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-35257-7_15","DOI":"10.1007\/978-3-031-35257-7_15"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"Lopez, D.M., Choi, S.W., Tran, H.D., Johnson, T.T.: NNV 2.0: the neural network verification tool. In: International Conference on Computer Aided Verification, pp. 397\u2013412. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-37703-7_19","DOI":"10.1007\/978-3-031-37703-7_19"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Lopez, D.M., Musau, P., Hamilton, N., Johnson, T.T.: Reachability analysis of a general class of neural ordinary differential equations (2022). https:\/\/doi.org\/10.1007\/978-3-031-15839-1_15","DOI":"10.1007\/978-3-031-15839-1_15"},{"key":"5_CR18","unstructured":"Lu, Y., Zhong, A., Li, Q., Dong, B.: Beyond finite layer neural networks: bridging deep architectures and numerical differential equations. In: International Conference on Machine Learning, pp. 3276\u20133285. PMLR (2018)"},{"key":"5_CR19","first-page":"239","volume":"6","author":"K Makino","year":"2003","unstructured":"Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 6, 239\u2013316 (2003)","journal-title":"Int. J. Pure Appl. Math."},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"48918","DOI":"10.52202\/075280-2125","volume":"36","author":"P Marion","year":"2023","unstructured":"Marion, P.: Generalization bounds for neural ordinary differential equations and deep residual networks. Adv. Neural. Inf. Process. Syst. 36, 48918\u201348938 (2023)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"5_CR21","unstructured":"Marion, P., Wu, Y.H., Sander, M.E., Biau, G.: Implicit regularization of deep residual networks towards neural odes (2024). https:\/\/arxiv.org\/abs\/2309.01213"},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"Musau, P., Johnson, T.: Continuous-time recurrent neural networks (CTRNNS)(benchmark proposal). In: 5th Applied Verification for Continuous and Hybrid Systems Workshop (ARCH), Oxford, UK (2018). https:\/\/doi.org\/10.29007\/6czp","DOI":"10.29007\/6czp"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Oh, Y., Kam, S., Lee, J., Lim, D.Y., Kim, S., Bui, A.: Comprehensive review of neural differential equations for time series analysis (2025). https:\/\/arxiv.org\/abs\/2502.09885","DOI":"10.24963\/ijcai.2025\/1179"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Rackauckas, C., et al.: Universal differential equations for scientific machine learning (2021). https:\/\/arxiv.org\/abs\/2001.04385","DOI":"10.21203\/rs.3.rs-55125\/v1"},{"key":"5_CR25","volume-title":"Principles of Mathematical Analysis","author":"W Rudin","year":"1976","unstructured":"Rudin, W.: Principles of Mathematical Analysis, 3rd edn. McGraw-Hill, New York (1976)","edition":"3"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"36520","DOI":"10.52202\/068431-2646","volume":"35","author":"M Sander","year":"2022","unstructured":"Sander, M., Ablin, P., Peyr\u00e9, G.: Do residual neural networks discretize neural ordinary differential equations? Adv. Neural. Inf. Process. Syst. 35, 36520\u201336532 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"5_CR27","doi-asserted-by":"publisher","unstructured":"Tabuada, P.: Verification and Control of Hybrid Systems: A Symbolic Approach. Springer Science & Business Media (2009). https:\/\/doi.org\/10.1007\/978-1-4419-0224-5","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-53288-8_1","volume-title":"Computer Aided Verification","author":"H-D Tran","year":"2020","unstructured":"Tran, H.-D., et al.: NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020. LNCS, vol. 12224, pp. 3\u201317. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53288-8_1"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Xiang, W., Shao, Z.: Approximate bisimulation relations for neural networks and application to assured neural network compression. In: 2022 American Control Conference (ACC), pp. 3248\u20133253. IEEE (2022)","DOI":"10.23919\/ACC53348.2022.9867845"}],"container-title":["Lecture Notes in Computer Science","AI Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99991-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T10:14:06Z","timestamp":1787134446000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99991-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,28]]},"ISBN":["9783031999901","9783031999918"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99991-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,28]]},"assertion":[{"value":"28 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAIV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on AI Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zagreb","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Croatia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"saiv2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.aiverification.org\/2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}