{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T10:30:30Z","timestamp":1787135430482,"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_6","type":"book-chapter","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T05:36:01Z","timestamp":1761543361000},"page":"115-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Verification of\u00a0Neural Networks with\u00a0Sampling-Based Probability Box Propagation"],"prefix":"10.1007","author":[{"given":"Marcel","family":"Chwia\u0142kowski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,28]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Baluta, T., Chua, Z.L., Meel, K.S., Saxena, P.: Scalable quantitative verification for deep neural networks. In: Proceedings of the 43rd International Conference on Software Engineering, pp. 312\u2013323. ICSE 2021, IEEE Press (2021)","DOI":"10.1109\/ICSE43902.2021.00039"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Baluta, T., Shen, S., Shinde, S., Meel, K.S., Saxena, P.: Quantitative verification of neural networks and its security applications. In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, pp. 1249\u20131264. CCS 2019, Association for Computing Machinery, New York, NY, USA (2019)","DOI":"10.1145\/3319535.3354245"},{"issue":"1\u20132","key":"6_CR3","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.ymssp.2013.01.024","volume":"37","author":"M Beer","year":"2013","unstructured":"Beer, M., Ferson, S., Kreinovich, V.: Imprecise probabilities in engineering analyses. Mech. Syst. Signal Process. 37(1\u20132), 4\u201329 (2013)","journal-title":"Mech. Syst. Signal Process."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Boopathy, A., Weng, T.W., Chen, P.Y., Liu, S., Daniel, L.: CNN-CERT: an efficient framework for certifying robustness of convolutional neural networks. In: Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence and Thirty-First Innovative Applications of Artificial Intelligence Conference and Ninth AAAI Symposium on Educational Advances in Artificial Intelligence. AAAI 2019\/IAAI19\/EAAI 2019, AAAI Press (2019)","DOI":"10.1609\/aaai.v33i01.33013240"},{"key":"6_CR5","unstructured":"Calcaterra, C., Boldt, A.: Approximating with Gaussians (2008). https:\/\/arxiv.org\/abs\/0805.3795"},{"key":"6_CR6","unstructured":"Enszer, J.A., Lin, Y., Ferson, S., Corliss, G.F., Stadtherr, M.A.: Propagating uncertainties in modeling nonlinear dynamic systems. In: Proceedings of the 3rd International Workshop on Reliable Engineering, Computing, Georgia Institute of Technology, Savannah, GA,: 89. vol.\u00a0105 (2008)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Fazlyab, M., Morari, M., Pappas, G.J.: Probabilistic verification and reachability analysis of neural networks via semidefinite programming. In: 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 2726\u20132731. IEEE (2019)","DOI":"10.1109\/CDC40024.2019.9029310"},{"key":"6_CR8","volume-title":"Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks","author":"M Fazlyab","year":"2019","unstructured":"Fazlyab, M., Robey, A., Hassani, H., Morari, M., Pappas, G.J.: Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks. Curran Associates Inc., Red Hook, NY, USA (2019)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Ferson, S., Kreinovich, V., Ginzburg, L., Myers, D., Sentz, K.: Constructing probability boxes and Dempster-Shafer structures. Sandia Report (2003)","DOI":"10.2172\/809606"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Goubault, E., Putot, S.: A zonotopic Dempster-Shafer approach to the quantitative verification of neural networks. In: Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, 9\u201313 September 2024, Proceedings, Part I, pp. 324\u2013342. Springer-Verlag, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-71162-6_17","DOI":"10.1007\/978-3-031-71162-6_17"},{"key":"6_CR11","unstructured":"Gray, A., Gopakumar, V., Rousseau, S., Destercke, S.: Guaranteed confidence-band enclosures for PDE surrogates. arXiv preprint arXiv:2501.18426 (2025)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Henriksen, P., Lomuscio, A.: Efficient neural network verification via adaptive refinement and adversarial search. In: ECAI 2020, pp. 2513\u20132520. IOS Press (2020)","DOI":"10.3233\/FAIA200385"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-030-86362-3_7","volume-title":"Artificial Neural Networks and Machine Learning - ICANN 2021","author":"C Huang","year":"2021","unstructured":"Huang, C., Hu, Z., Huang, X., Pei, K.: Statistical certification of acceptable robustness for neural networks. In: Farka\u0161, I., Masulli, P., Otte, S., Wermter, S. (eds.) Artificial Neural Networks and Machine Learning - ICANN 2021, pp. 79\u201390. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86362-3_7"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Lyu, Z., Ko, C.Y., Kong, Z., Wong, N., Lin, D., Daniel, L.: Fastened crown: tightened neural network robustness certificates. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 04, pp. 5037\u20135044 (2020)","DOI":"10.1609\/aaai.v34i04.5944"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"1269","DOI":"10.1214\/aop\/1176990746","volume":"18","author":"P Massart","year":"1990","unstructured":"Massart, P.: The tight constant in the Dvoretzky-Kiefer-Wolfowitz inequality. Ann. Probab. 18(3), 1269\u20131283 (1990)","journal-title":"Ann. Probab."},{"key":"6_CR16","unstructured":"Monchot, P., Coquelin, L., Petit, S.J., Marmin, S., Le\u00a0Pennec, E., Fischer, N.: Input uncertainty propagation through trained neural networks. In: Krause, A., Brunskill, E., Cho, K., Engelhardt, B., Sabato, S., Scarlett, J. (eds.) Proceedings of the 40th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a0202, pp. 25140\u201325173. PMLR (2023)"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C., Converse, H., Filieri, A., Gopinath, D.: On the probabilistic analysis of neural networks. In: Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.\u00a05\u20138 (2020)","DOI":"10.1145\/3387939.3391594"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Pautov, M., Tursynbek, N., Munkhoeva, M., Muravev, N., Petiushko, A., Oseledets, I.: CC-CERT: a probabilistic approach to certify general robustness of neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, pp. 7975\u20137983 (2022)","DOI":"10.1609\/aaai.v36i7.20768"},{"key":"6_CR19","unstructured":"Pilipovsky, J., Sivaramakrishnan, V., Oishi, M., Tsiotras, P.: Probabilistic verification of RELU neural networks via characteristic functions. In: Learning for Dynamics and Control Conference, pp. 966\u2013979. PMLR (2023)"},{"key":"6_CR20","unstructured":"Scaman, K., Virmaux, A.: Lipschitz regularity of deep neural networks: analysis and efficient estimation. In: Proceedings of the 32nd International Conference on Neural Information Processing Systems, pp. 3839\u20133848. NIPS 2018, Curran Associates Inc., Red Hook, NY, USA (2018)"},{"key":"6_CR21","unstructured":"Singh, G., Gehr, T., Mirman, M., P\u00fcschel, M., Vechev, M.: Fast and effective robustness certification. In: Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R. (eds.) Advances in Neural Information Processing Systems, vol.\u00a031. Curran Associates, Inc. (2018)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Singh, G., Gehr, T., P\u00fcschel, M., Vechev, M.: An abstract domain for certifying neural networks. Proc. ACM Program. Lang. 3(POPL), 1\u201330 (2019)","DOI":"10.1145\/3290354"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman & Hall\/CRC Monographs on Statistics & Applied Probability, Taylor & Francis (1991)","DOI":"10.1007\/978-1-4899-3472-7"},{"key":"6_CR24","unstructured":"Webb, S., Rainforth, T., Teh, Y.W., Kumar, M.P.: A statistical approach to assessing neural network robustness. In: 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, 6-9 May 2019. OpenReview.net (2019)"},{"key":"6_CR25","unstructured":"Weng, L., et al.: PROVEN: Verifying robustness of neural networks with a probabilistic approach. In: Chaudhuri, K., Salakhutdinov, R. (eds.) Proceedings of the 36th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol.\u00a097, pp. 6727\u20136736. PMLR (2019)"},{"key":"6_CR26","unstructured":"Wright, O., Nakahira, Y., Moura, J.M.: An analytic solution to covariance propagation in neural networks. In: International Conference on Artificial Intelligence and Statistics. pp. 4087\u20134095. PMLR (2024)"},{"key":"6_CR27","unstructured":"Zhang, D., Ye, M., Gong, C., Zhu, Z., Liu, Q.: Black-box certification with randomized smoothing: a functional optimization based framework. In: Proceedings of the 34th International Conference on Neural Information Processing Systems. NIPS 2020, Curran Associates Inc., Red Hook, NY, USA (2020)"},{"key":"6_CR28","unstructured":"Zhang, H., Weng, T.W., Chen, P.Y., Hsieh, C.J., Daniel, L.: Efficient neural network robustness certification with general activation functions. In: Proceedings of the 32nd International Conference on Neural Information Processing Systems, pp. 4944\u20134953. NIPS 2018, Curran Associates Inc., Red Hook, NY, USA (2018)"},{"key":"6_CR29","doi-asserted-by":"publisher","unstructured":"Zhang, T., Ruan, W., Fieldsend, J.E.: PRoA: a probabilistic robustness assessment against functional perturbations. In: Amini, MR., Canu, S., Fischer, A., Guns, T., Kralj Novak, P., Tsoumakas, G. (eds.) Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2022, Grenoble, France, 19\u201323 September 2022, Proceedings, Part III, pp. 154\u2013170. Springer-Verlag, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-26409-2_10","DOI":"10.1007\/978-3-031-26409-2_10"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,19]],"date-time":"2026-08-19T10:13:49Z","timestamp":1787134429000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99991-8_6"}},"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_6","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"}}]}}