{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T16:01:17Z","timestamp":1781193677613,"version":"3.54.1"},"publisher-location":"Cham","reference-count":73,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032280787","type":"print"},{"value":"9783032280794","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-032-28079-4_13","type":"book-chapter","created":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:30:52Z","timestamp":1781191852000},"page":"287-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Formal Verification of\u00a0Deep Neural Networks for\u00a0Object Detection"],"prefix":"10.1007","author":[{"given":"Avraham","family":"Raviv","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yizhak Y.","family":"Elboher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Omri","family":"Isac","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michelle","family":"Aluf-Medina","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ben","family":"Hagag","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Golan","family":"Shmueli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guy","family":"Katz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,12]]},"reference":[{"key":"13_CR1","unstructured":"Krizhevsky, A., Sutskever, I., Hinton, G.E.: ImageNet Classification with Deep Convolutional Neural Networks. In: Proceedings of Advances in Neural Information Processing Systems (NeurIPS) (2012)"},{"key":"13_CR2","unstructured":"Dosovitskiy, A., et al.: An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale, Technical Report (2021). http:\/\/arxiv.org\/abs\/2010.11929"},{"key":"13_CR3","unstructured":"Vaswani, A., et al.: Attention Is All You Need, Technical Report (2023). http:\/\/arxiv.org\/abs\/1706.03762"},{"key":"13_CR4","unstructured":"Devlin, J., Chang, M.-W., Lee, K., Toutanova, K.: BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding, Technical Report (2019). http:\/\/arxiv.org\/abs\/1810.04805"},{"key":"13_CR5","unstructured":"Brown, T.B., et al.: Language Models are Few-Shot Learners, Technical Report (2020). http:\/\/arxiv.org\/abs\/2005.14165"},{"key":"13_CR6","unstructured":"Gulati, A., et al.: Conformer: Convolution-augmented Transformer for Speech Recognition, Technical Report (2020). http:\/\/arxiv.org\/abs\/2005.08100"},{"key":"13_CR7","unstructured":"Baevski, A., Zhou, Y., Mohamed, A., Auli, M.: wav2vec 2.0: a framework for self-supervised learning of speech representations. In: Proceedings of Advances in Neural Information Processing Systems (NeurIPS), pp. 12449\u201312460 (2020)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Liu, Z., et al.: Video Swin Transformer. In: Proceedings of IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 3202\u20133211 (2022)","DOI":"10.1109\/CVPR52688.2022.00320"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Arnab, A., Dehghani, M., Heigold, G., Sun, C., Lu\u010di\u0107, M., Schmid, C.: VIVIT: a video vision transformer. In: Proceedings of IEEE\/CVF Internationnal Conference on Computer Vision (ICCV), pp. 6836\u20136846 (2021)","DOI":"10.1109\/ICCV48922.2021.00676"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Proceedings of 29th International Conference on Computer Aided Verification (CAV), pp. 97\u2013117 (2017)","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Liu, C., Arnon, T., Lazarus, C., Strong, C., Barrett, C., Kochenderfer, M.J.: Algorithms for verifying deep neural networks. Found. Trends Optim. 4(3-4), 244\u2013404 (2021)","DOI":"10.1561\/2400000035"},{"key":"13_CR12","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 Advances in Neural Information Processing Systems (NeurIPS) (2018)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Casadio, M., et al.: NLP verification: towards a general methodology for certifying robustness. Eur. J. Appl. Math. (2025)","DOI":"10.1017\/S0956792525000099"},{"key":"13_CR14","unstructured":"Amir, G., Schapira, M., Katz, G.: Towards scalable verification of deep reinforcement learning. In: Proceedings of 21st International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 193\u2013203 (2021)"},{"key":"13_CR15","unstructured":"Bassan, S., Amir, G., Corsi, D., Refaeli, I., Katz, G.: Formally explaining neural networks within reactive systems. In: Proceedings of 23rd International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 10\u201322 (2023)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Bassan, S., Katz, G.: Towards formal XAI: formally approximate minimal explanations of neural networks. In: Proceedings of 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 187\u2013207 (2023)","DOI":"10.1007\/978-3-031-30823-9_10"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Wen, L., Jo, K.-H.: Traffic sign recognition and classification with modified residual networks. In: Proceedings of IEEE\/SICE International Symposium on System Integration (SSI), pp. 835\u2013840 (2017)","DOI":"10.1109\/SII.2017.8279326"},{"key":"13_CR18","unstructured":"Ren, S., He, K., Girshick, R.B., Sun, J.: Faster R-CNN: towards real-time object detection with region proposal networks. In: Proceedings of Advances in Neural Information Processing Systems (NeurIPS), pp. 91\u201399 (2015)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Redmon, J., Divvala, S., Girshick, R., Farhadi, A.: You only look once: unified, real-time object detection. In: Proceedings of IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 779\u2013788 (2016)","DOI":"10.1109\/CVPR.2016.91"},{"key":"13_CR20","unstructured":"Liu, W.,et al.: Berg. SSD: Single Shot MultiBox Detector (2015). http:\/\/arxiv.org\/abs\/1512.02325"},{"key":"13_CR21","unstructured":"Kurakin, A., Goodfellow, I.J., Bengio, S.: Adversarial machine learning at scale. In: Proceedings International Conference on Learning Representations (ICLR) (2017)"},{"key":"13_CR22","unstructured":"Roy, A., Abadi, M., Gilmer, J.: Adversarial patch. In: Proceedings of Advances in Neural Information Processing Systems (NeurIPS) (2017)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Abhijith Sharma, Yijun Bian, Phil Munz, and Apurva Narayan. Adversarial Patch Attacks and Defences in Vision-Based Tasks: A Survey, 2022. Technical Report. http:\/\/arxiv.org\/abs\/2206.08304","DOI":"10.36227\/techrxiv.20085902"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Huang, L., et al.: Universal physical camouflage attacks on object detectors. In: Proceedings of IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 720\u2013729 (2020)","DOI":"10.1109\/CVPR42600.2020.00080"},{"key":"13_CR25","unstructured":"Zhang, Y., Foroosh, H., David, P., Gong, B.: CAMOU: learning physical vehicle camouflages to adversarially attack detectors in the wild. In: Proceedings of International Conference on Learning Representations (ICLR) (2018)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Guy Katz, et al.: The Marabou framework for verification and analysis of deep neural networks. In: Proceedings of 31th International Conference on Computer Aided Verification (CAV), pp. 443\u2013452 (2019)","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"13_CR27","unstructured":"Haoze Wu, et\u00a0al.: Marabou 2.0: a versatile formal analyzer of neural networks. In: Proceedings of 36th International Conference on Computer Aided Verification (CAV) (2024)"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Henriksen, P., Lomuscio, A.: Efficient neural network verification via adaptive refinement and adversarial search. In: Proceedings of European Conference on Artificial Intelligence (ECAI) (2020)","DOI":"10.3233\/FAIA200385"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Henriksen, P., Lomuscio, A.: DEEPSPLIT: an efficient splitting method for neural network verification via indirect effect analysis. In: Proceedings of 30th International Joint Conference on Artificial Intelligence (IJCAI), pp. 2549\u20132555 (2021)","DOI":"10.24963\/ijcai.2021\/351"},{"key":"13_CR30","unstructured":"Dutta, S., Jha, S., Sanakaranarayanan, S., Tiwari, A.: Output range analysis for deep neural networks, Technical Report (2017). http:\/\/arxiv.org\/abs\/1709.09130"},{"key":"13_CR31","unstructured":"Tjeng, V., Xiao, K., Tedrake, R.: Evaluating Robustness of Neural Networks with Mixed Integer Programming (2017). Technical Report. http:\/\/arxiv.org\/abs\/1711.07356"},{"issue":"3","key":"13_CR32","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/s10601-018-9285-6","volume":"23","author":"M Fischetti","year":"2018","unstructured":"Fischetti, M., Jo, J.: Deep neural networks and mixed integer linear optimization. Constraints 23(3), 296\u2013309 (2018)","journal-title":"Constraints"},{"key":"13_CR33","unstructured":"Bunel, R.R., Turkaslan, I., Torr, P., Kohli, P., Mudigonda, P.K.: A unified view of piecewise linear neural network verification. In: Proceedings of Advances in Neural Information Processing Systems (NeurIPS) (2018)"},{"key":"13_CR34","unstructured":"Lomuscio, A., Maganti, L.: An Approach to Reachability Analysis for Feed-Forward ReLU Neural Networks, Technical Report (2017). http:\/\/arxiv.org\/abs\/1706.07351"},{"key":"13_CR35","unstructured":"Wang, S., et al.: Beta-CROWN: efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification. In: Proceedings of Advances in Neural Information Processing Systems (NeurIPS) (2021)"},{"key":"13_CR36","unstructured":"Ferrari, C., M\u00fcller, M.N., Jovanovic, N., Vechev, M.: Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound, Technical Report (2022). http:\/\/arxiv.org\/abs\/2205.00263"},{"key":"13_CR37","doi-asserted-by":"crossref","unstructured":"M\u00fcller, M.N., Makarchuk, G., Singh, G., P\u00fcschel, M., Vechev, M.: PRIMA: general and precise neural network certification via scalable convex hull approximations. Proc. ACM Program. Lang. 6(POPL), 1\u201333 (2022)","DOI":"10.1145\/3498704"},{"issue":"3","key":"13_CR38","doi-asserted-by":"publisher","first-page":"497","DOI":"10.2307\/1910129","volume":"28","author":"AH Land","year":"1960","unstructured":"Land, A.H., Doig, A.G.: An automatic method of solving discrete programming problems. Econometrica 28(3), 497\u2013520 (1960)","journal-title":"Econometrica"},{"key":"13_CR39","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.disopt.2016.01.005","volume":"19","author":"DR Morrison","year":"2016","unstructured":"Morrison, D.R., Jacobson, S.H., Sauppe, J.J., Sewell, E.C.: Branch-and-bound algorithms: a survey of recent advances in searching, branching, and pruning. Discret. Optim. 19, 79\u2013102 (2016)","journal-title":"Discret. Optim."},{"key":"13_CR40","unstructured":"Bunel, R., et al.: Branch and bound for piecewise linear neural network verification. J. Mach. Learn. Res. 21(42), 1\u201339 (2020)"},{"key":"13_CR41","doi-asserted-by":"crossref","unstructured":"Amir, G., et al.: Verifying learning-based robotic navigation systems. In: Proceedings of 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 607\u2013627 (2023)","DOI":"10.1007\/978-3-031-30823-9_31"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Yerushalmi, R., Amir, G., Elyasaf, Harel, D., Katz, G., Marron, A.: Scenario-assisted deep reinforcement learning. In: Proceedings of 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pp. 310\u2013319 (2022)","DOI":"10.5220\/0010904700003119"},{"key":"13_CR43","doi-asserted-by":"crossref","unstructured":"Kazak, Y., Barrett, C., Katz, G., Schapira, M.: Verifying deep-RL-driven systems. In:Proceedings of Workshop on Network Meets AI & ML (NetAI), pp. 83\u201389 (2019)","DOI":"10.1145\/3341216.3342218"},{"key":"13_CR44","doi-asserted-by":"crossref","unstructured":"Raviv, A., Bronshtein, E., Reginiano, O., Aluf-Medina, M., Kugler, H.: Learning through imitation by using formal verification. In: Proceedings of International Confermnce on Current Trends in Theory and Practice of Computer Science (SOFSEM), pp. 342\u2013355 (2023)","DOI":"10.1007\/978-3-031-23101-8_23"},{"key":"13_CR45","doi-asserted-by":"crossref","unstructured":"Raviv, A., Gerber, Y., Benzinou, L., Aluf-Medina, M., Kugler, H.: Prediction and control of stochastic agents using formal methods. In: Proceedings of 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS), pp. 29\u201334 (2023)","DOI":"10.29007\/1q69"},{"key":"13_CR46","doi-asserted-by":"crossref","unstructured":"Amir, G., Maayan, O., Zelazny, T., Katz, G., Schapira, M.: Verifying generalization in deep learning. In: Proceedings of 35th International Confeernce on Computer Aided Verification (CAV), pp. 438\u2013455 (2023)","DOI":"10.1007\/978-3-031-37703-7_21"},{"issue":"3","key":"13_CR47","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s10817-024-09704-7","volume":"68","author":"G Amir","year":"2024","unstructured":"Amir, G., Maayan, O., Zelazny, T., Katz, G., Schapira, M.: Verifying the generalization of deep learning to out-of-distribution domains. J. Autom. Reason. (JAR) 68(3), 17 (2024)","journal-title":"J. Autom. Reason. (JAR)"},{"key":"13_CR48","unstructured":"Elsaleh, R., Katz, G.: DelBugV: delta-debugging neural network verifiers. In: Proceedings of 23rd International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 34\u201343 (2023)"},{"key":"13_CR49","unstructured":"Elsaleh, R., Katz, G.: DelBugV: delta-debugging neural network verifiers. In: Proceedings of 23rd International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 34\u201343 (2023)"},{"key":"13_CR50","unstructured":"Isac, O., Barrett, C.W., Zhang, M., Katz, G.: Neural network verification with proof production. In: Proceedings of 22nd International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp. 38\u201348 (2022)"},{"issue":"2","key":"13_CR51","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/s42979-022-01575-2","volume":"4","author":"R Yerushalmi","year":"2023","unstructured":"Yerushalmi, R., Amir, G., Elyasaf, A., Harel, D., Katz, G., Marron, A.: Enhancing deep reinforcement learning with scenario-based modeling. SN Comput. Sci. 4(2), 156 (2023)","journal-title":"SN Comput. Sci."},{"key":"13_CR52","doi-asserted-by":"crossref","unstructured":"Yisrael Elboher, Y., Gottschlich, J., Katz, G.: An abstraction-based framework for neural network verification. In: Proceedings of 32th International Conference on Computer Aided Verification (CAV), pp. 43\u201365 (2020)","DOI":"10.1007\/978-3-030-53288-8_3"},{"key":"13_CR53","doi-asserted-by":"crossref","unstructured":"Cohen, E., Elboher, Y.Y., Barrett, C., Katz, G.: Tighter abstract queries in neural network verification. In: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), pp. 124\u2013143 (2023)","DOI":"10.29007\/3mk7"},{"key":"13_CR54","doi-asserted-by":"crossref","unstructured":"Elboher, Y.Y., Isac, O., Katz, G., Ladner, T., Wu, H.: Abstraction-based proof production in formal verification of neural networks. In: Proceedings of 8th International Symposium on AI Verification (SAIV) (2025)","DOI":"10.1007\/978-3-031-99991-8_10"},{"key":"13_CR55","unstructured":"Shahaf Bassan, Yizhak\u00a0Y. Elboher, Tobias Ladner, Matthias Althoff, and Guy Katz. Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations. In: Proceedings of 42nd International Conference on Machine Learning (ICML) (2025a)"},{"key":"13_CR56","doi-asserted-by":"crossref","unstructured":"Elboher, Y.Y., Cohen, E., Katz, G.: Neural network verification using residual reasoning. In: International Conference on Software Engineering and Formal Methods (SEFM), pp. 173\u2013189 (2022)","DOI":"10.1007\/978-3-031-17108-6_11"},{"key":"13_CR57","unstructured":"Cohen, N., et al.: Verification for Object Detection \u2014 IBP IoU, Technical Report (2024). http:\/\/arxiv.org\/abs\/2403.08788"},{"key":"13_CR58","unstructured":"Chiang, P., Curry, M., Abdelkader, A., Kumar, A., Dickerson, J., Goldstein, T.: Detection as regression: certified object detection with median smoothing. In: Proceedings of Advances in Neural Information Processing Systems (NeurIPS) (2020)"},{"key":"13_CR59","unstructured":"Zouzou, A., And\u00e9ol, L., Ducoffe, M., Boumazouza, R.: Robust Vision-Based Runway Detection through Conformal Prediction and Conformal mAP, Technical Report (2025). http:\/\/arxiv.org\/abs\/2505.16740"},{"key":"13_CR60","unstructured":"Wu, C., He, W., Cheng, C.-H., Huang, X., Bensalem, S.: Towards Certified Object Detectors: Certified Runway Detection Using YOLO. In: IEEE Dependable and Secure Computing (DSC) (2024)"},{"key":"13_CR61","doi-asserted-by":"crossref","unstructured":"Hashemi, V., K\u0159et\u00ednsk\u00fd, J., Rieder, S., Schmidt, J.: Runtime monitoring for out-of-distribution detection in object detection neural networks. In: Lecture Notes in Computer Science, Springer, Cham (2023)","DOI":"10.1007\/978-3-031-27481-7_36"},{"key":"13_CR62","doi-asserted-by":"crossref","unstructured":"Miller, D., Goode, G., Bennie, C., Moghadam, P., Jurdak, R.: Why object detectors fail: investigating the influence of the dataset. In: Proceedings of of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW), pp. 4823\u20134830 (2022)","DOI":"10.1109\/CVPRW56347.2022.00529"},{"key":"13_CR63","unstructured":"Isac, O., Zohar, Y., Barrett, C., Katz, G.: DNN verification, reachability, and the exponential function problem. In: Proceedings of 34th International Conference on Concurrency Theory (CONCUR) (2023)"},{"key":"13_CR64","doi-asserted-by":"crossref","unstructured":"Girshick, R., Donahue, J., Darrell, T., Malik, J.: Rich feature hierarchies for accurate object detection and semantic segmentation. In: Proceedings of IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), p. 11 (2013)","DOI":"10.1109\/CVPR.2014.81"},{"key":"13_CR65","unstructured":"Ducoffe, M., et al.: LARD \u2014 Landing Approach Runway Detection \u2014 Dataset for Vision Based Landing, Technical Report (2023). http:\/\/arxiv.org\/abs\/2304.09938"},{"issue":"6","key":"13_CR66","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/MSP.2012.2211477","volume":"29","author":"L Deng","year":"2012","unstructured":"Deng, L.: The MNIST database of handwritten digit images for machine learning research. IEEE Signal Process. Mag. 29(6), 141\u2013142 (2012)","journal-title":"IEEE Signal Process. Mag."},{"key":"13_CR67","doi-asserted-by":"crossref","unstructured":"Stallkamp, J., Schlipsing, M., Salmen, J., Igel, C.: The german traffic sign recognition benchmark: a multi-class classification competition. In: Proceedings of International Joint Conference on Neural Networks (IJCNN), pp. 1453\u20131460 (2011)","DOI":"10.1109\/IJCNN.2011.6033395"},{"key":"13_CR68","doi-asserted-by":"crossref","unstructured":"Houben, S., Stallkamp, J., Salmen, J., Schlipsing, M., Igel, C.: Detection of traffic signs in real-world images: the German traffic sign detection benchmark. In: Proceedings of International Joint Conference on Neural Networks (IJCNN), pp. 1\u20138 (2013)","DOI":"10.1109\/IJCNN.2013.6706807"},{"key":"13_CR69","unstructured":"Kaulen, K., et al.: The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results, Technical Report (2025). http:\/\/arxiv.org\/abs\/2512.19007"},{"key":"13_CR70","unstructured":"M\u00fcller, M.N., Brix, C., Bak, S., Liu, C., Johnson, T.T.: The 3rd International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results, Technical Report (2023). http:\/\/arxiv.org\/abs\/2212.10376"},{"key":"13_CR71","unstructured":"Brix, C., Bak, S., Liu, C., Johnson, T.T.: The 4th International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results, Technical Report (2023). http:\/\/arxiv.org\/abs\/2312.16760"},{"key":"13_CR72","unstructured":"Zhang, H., et al.: Towards stable and efficient training of verifiably robust neural networks. In: Proceedings of International Conference on Learning Representations (ICLR) (2020)"},{"key":"13_CR73","unstructured":"MNIST-2 Dataset. https:\/\/github.com\/cdamore\/Object-Detection-on-2-digit-MNIST"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-28079-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T15:31:25Z","timestamp":1781191885000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-28079-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032280787","9783032280794"],"references-count":73,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-28079-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"12 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Los Angeles, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 May 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/nfm2026.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}