{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:04:52Z","timestamp":1775837092681,"version":"3.50.1"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Institute for Information and communication Technology Planning and evaluation (IITP) Grant"},{"name":"Korea Government [Ministry of Science and ICT (MSIT)]","award":["IITP-2023-RS-2023-00256629"],"award-info":[{"award-number":["IITP-2023-RS-2023-00256629"]}]},{"name":"Korea Internet & Security Agency (KISA) Information Security College Support Project"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3570973","type":"journal-article","created":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T17:58:16Z","timestamp":1747677496000},"page":"88609-88622","source":"Crossref","is-referenced-by-count":2,"title":["Certified Robustness of Antenna Selecting Neural Networks for Massive MIMO Wireless Communications"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4974-3871","authenticated-orcid":false,"given":"Jaekwon","family":"Kim","sequence":"first","affiliation":[{"name":"Division of Software, Yonsei University, Wonju, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4958-193X","authenticated-orcid":false,"given":"Hyo-Sang","family":"Lim","sequence":"additional","affiliation":[{"name":"Division of Software, Yonsei University, Wonju, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3519-3650","authenticated-orcid":false,"given":"Kwanghoon","family":"Choi","sequence":"additional","affiliation":[{"name":"Department of Software Engineering, Chonnam National University, Gwangju, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2022.10.005"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3208284"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3317371"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3322679"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/dac.6015"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2023.07.003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2024.3461333"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2024.3509475"},{"key":"ref9","first-page":"1129","article-title":"Automatic perturbation analysis for scalable certified robustness and beyond","volume-title":"Proc. 34th Int. Conf. Neural Inf. Process. Syst.","author":"Xu"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2011.04.013"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2011.2160003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SAM.2016.7569725"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2019.2959317"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SPAWC.2018.8446042"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1502.03167"},{"key":"ref16","volume-title":"Hands-on Machine Learning with Scikit-Learn and TensorFlow: Concepts, Tools, and Techniques to Build Intelligent Systems","author":"Geron","year":"2019"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref18","volume-title":"The Calculus of Computation: Decision Procedures With Applications to Verification","author":"Bradley","year":"2007"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1561\/9781680839111","volume-title":"Introduction to Neural Network Verification","author":"Albarghouthi","year":"2021"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-65630-9_13"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3643765"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-76384-8_2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587129"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_19"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-024-09907-5"},{"key":"ref27","article-title":"Neural network verification with PyRAT","author":"Lemesle","year":"2024","journal-title":"arXiv:2410.23903"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009885"},{"key":"ref30","first-page":"4944","article-title":"Efficient neural network robustness certification with general activation functions","volume-title":"Proc. 32nd Int. Conf. Neural Inf. Process. Syst. (NIPS)","author":"Zhang"},{"key":"ref31","first-page":"1","article-title":"Fast and complete: Enabling complete neural network verification with rapid and massively parallel incomplete verifiers","volume-title":"Proc. Int. Conf. Learn. Represent. (ICLR)","author":"Xu"},{"key":"ref32","first-page":"29909","article-title":"Beta-CROWN: Efficient bound propagation with per-neuron split constraints for neural network robustness verification","volume-title":"Proc. 35th Int. Conf. Neural Inf. Process. Syst. (NIPS)","volume":"34","author":"Wang"},{"key":"ref33","first-page":"1656","article-title":"General cutting planes for bound-propagation-based neural network verification","volume-title":"Proc. 36th Int. Conf. Neural Inf. Process. Syst. (NIPS)","author":"Zhang"},{"key":"ref34","first-page":"80270","article-title":"Provably bounding neural network preimages","volume-title":"Proc. 37th Int. Conf. Neural Inf. Process. Syst. (NIPS)","author":"Kotha"},{"key":"ref35","first-page":"4795","article-title":"A unified view of piecewise linear neural network verification","volume-title":"Proc. 32nd Int. Conf. Neural Inf. Process. Syst. (NIPS)","author":"Bunel"},{"key":"ref36","first-page":"26591","article-title":"A branch and bound framework for stronger adversarial attacks of ReLU networks","volume-title":"Proc. 39th Int. Conf. Mach. Learn. (ICML)","volume":"162","author":"Zhang"},{"key":"ref37","first-page":"29324","article-title":"Scalable neural network verification with branch-and-bound inferred cutting planes","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"37","author":"Zhou"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-90643-5_17"},{"key":"ref39","first-page":"5276","article-title":"Towards fast computation of certified robustness for ReLU networks","volume-title":"Proc. 35th Int. Conf. Mach. Learn. (ICML)","author":"Weng"},{"key":"ref40","first-page":"1599","article-title":"Formal security analysis of neural networks using symbolic intervals","volume-title":"Proc. 27th USENIX Conf. Secur. Symp. (SEC)","author":"Wang"},{"key":"ref41","article-title":"The fifth international verification of neural networks competition (VNN-COMP 2024): Summary and results","author":"Brix","year":"2024","journal-title":"arXiv:2412.19985"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/11006645.pdf?arnumber=11006645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T04:43:44Z","timestamp":1748061824000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11006645\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3570973","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}