{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T21:02:10Z","timestamp":1784408530443,"version":"3.55.0"},"publisher-location":"Singapore","reference-count":15,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819234097","type":"print"},{"value":"9789819234103","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T00:00:00Z","timestamp":1784419200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T00:00:00Z","timestamp":1784419200000},"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":[[2027]]},"DOI":"10.1007\/978-981-92-3410-3_6","type":"book-chapter","created":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T20:05:19Z","timestamp":1784405119000},"page":"62-73","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Neural Network Verification Method Based on Abstraction Refinement"],"prefix":"10.1007","author":[{"given":"Ruilong","family":"Ning","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Meng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,19]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.energy.2025.135669","volume":"323","author":"X Chen","year":"2025","unstructured":"Chen, X., Wang, X., Zhao, W., Wang, C., Cheng, S., Luan, Z.: Hierarchical deep reinforcement learning based multi-agent game control for energy consumption and traffic efficiency improving of autonomous vehicles. Energy. 323, 135669 (2025)","journal-title":"Energy"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-319-77935-5_9","volume-title":"NASA Formal Methods Symposium","author":"S Dutta","year":"2018","unstructured":"Dutta, S., Jha, S., Sankaranarayanan, S., Tiwari, A.: Output range analysis for deep feedforward neural networks. In: NASA Formal Methods Symposium, pp. 121\u2013138. Springer (2018)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-319-68167-2_19","volume-title":"International Symposium on Automated Technology for Verification and Analysis","author":"R Ehlers","year":"2017","unstructured":"Ehlers, R.: Formal verification of piece-wise linear feed-forward neural networks. In: International Symposium on Automated Technology for Verification and Analysis, pp. 269\u2013286. Springer (2017)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/SP.2018.00058","volume-title":"2018 IEEE Symposium on Security and Privacy (SP)","author":"T Gehr","year":"2018","unstructured":"Gehr, T., Mirman, M., Drachsler-Cohen, D., Tsankov, P., Chaudhuri, S., Vechev, M.: Ai2: safety and robustness certification of neural networks with abstract interpretation. In: 2018 IEEE Symposium on Security and Privacy (SP), pp. 3\u201318. IEEE (2018)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/978-3-030-92124-8_26","volume-title":"International Conference on Software Engineering and Formal Methods","author":"V Hashemi","year":"2021","unstructured":"Hashemi, V., Kouvaros, P., Lomuscio, A.: OSIP: tightened bound propagation for the verification of ReLU neural networks. In: International Conference on Software Engineering and Formal Methods, pp. 463\u2013480. Springer (2021)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/3597926.3598034","volume-title":"Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"F Jia","year":"2023","unstructured":"Jia, F., Han, R., Huang, P., Liu, M., Ma, F., Zhang, J.: Improving bit-blasting for nonlinear integer constraints. In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 14\u201325 (2023)"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","DOI":"10.3390\/sci7010007","volume":"7","author":"MR Kabir","year":"2025","unstructured":"Kabir, M.R., Bhadra, D., Ridoy, M., Milanova, M.: LSTM\u2013transformer-based robust hybrid deep learning model for financial time series forecasting. Sci. 7(1), 7 (2025)","journal-title":"Sci"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"International Conference on 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: International Conference on Computer Aided Verification, pp. 97\u2013117. Springer (2017)"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-030-25540-4_26","volume-title":"International Conference on Computer Aided Verification","author":"G Katz","year":"2019","unstructured":"Katz, G., et al.: The marabou framework for verification and analysis of deep neural networks. In: International Conference on Computer Aided Verification, pp. 443\u2013452. Springer (2019)"},{"key":"6_CR10","unstructured":"Lomuscio, A., Maganti, L.: An approach to reachability analysis for feed-forward ReLU neural networks. arXiv preprint https:\/\/arxiv.org\/abs\/1706.07351. (2017)"},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","DOI":"10.3390\/info16030195","volume":"16","author":"ID Mienye","year":"2025","unstructured":"Mienye, I.D., Swart, T.G., Obaido, G., Jordan, M., Ilono, P.: Deep convolutional neural networks in medical image analysis: a review. Information. 16(3), 195 (2025)","journal-title":"Information"},{"key":"6_CR12","unstructured":"Singh, G., Gehr, T., Mirman, M., P\u00fcschel, M., Vechev, M.: Fast and effective robustness certification. Adv. Neural Inf. Proces. Syst. 31 (2018)"},{"issue":"POPL","key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3290354","volume":"3","author":"G Singh","year":"2019","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)","journal-title":"Proc. ACM Program. Lang."},{"key":"6_CR14","first-page":"5276","volume-title":"International Conference on Machine Learning","author":"L Weng","year":"2018","unstructured":"Weng, L., et al.: Towards fast computation of certified robustness for ReLU networks. In: International Conference on Machine Learning, pp. 5276\u20135285. PMLR (2018)"},{"key":"6_CR15","volume-title":"Advances in Neural Information Processing Systems, vol. 31","author":"H Zhang","year":"2018","unstructured":"Zhang, H., Weng, T.W., Chen, P.Y., Hsieh, C.J., Daniel, L.: Efficient neural network robustness certification with general activation functions. In: Advances in Neural Information Processing Systems, vol. 31 (2018)"}],"container-title":["Lecture Notes in Computer Science","Advanced Intelligent Computing Technology and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-92-3410-3_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T20:05:20Z","timestamp":1784405120000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-92-3410-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,19]]},"ISBN":["9789819234097","9789819234103"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-981-92-3410-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,19]]},"assertion":[{"value":"19 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toronto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","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":"22 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icic2026a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ic-icc.cn\/2026\/index.htm","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}