{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T20:59:14Z","timestamp":1782593954810,"version":"3.54.5"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development","award":["2019YFA0706404"],"award-info":[{"award-number":["2019YFA0706404"]}]},{"DOI":"10.13039\/501100001809","name":"National Nature Science Foundation of China","doi-asserted-by":"publisher","award":["61972150"],"award-info":[{"award-number":["61972150"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Nature Science Foundation of China","doi-asserted-by":"publisher","award":["62172299"],"award-info":[{"award-number":["62172299"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Nature Science Foundation of China","doi-asserted-by":"publisher","award":["62032019"],"award-info":[{"award-number":["62032019"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for Central Universities","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Shanghai Municipal Science and Technology Major Project","award":["2021SHZDZX0100"],"award-info":[{"award-number":["2021SHZDZX0100"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput. Soc. Syst."],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1109\/tcss.2022.3179659","type":"journal-article","created":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T20:24:52Z","timestamp":1654806292000},"page":"2041-2050","source":"Crossref","is-referenced-by-count":34,"title":["Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0230-0301","authenticated-orcid":false,"given":"Zhaodi","family":"Zhang","sequence":"first","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5347-8281","authenticated-orcid":false,"given":"Jing","family":"Liu","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7523-4827","authenticated-orcid":false,"given":"Guanjun","family":"Liu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Tongji University, Shanghai, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6601-3515","authenticated-orcid":false,"given":"Jiacun","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Software Engineering, Monmouth University, West Long Branch, NJ, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Electronic Engineering, Xidian University, Xi’an, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","first-page":"125","article-title":"Adversarial examples are not bugs, they are features","author":"ilyas","year":"2019","journal-title":"Proc NIPS"},{"key":"ref35","author":"chollet","year":"2015","journal-title":"Keras"},{"key":"ref12","article-title":"Explaining and harnessing adversarial examples","author":"goodfellow","year":"2015","journal-title":"Proc ICLR"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2012.02.016"},{"key":"ref15","first-page":"550","article-title":"A dual approach to scalable verification of deep networks","author":"dvijotham","year":"2018","journal-title":"Proc UAI"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_24"},{"key":"ref14","first-page":"97","article-title":"Reluplex: An efficient SMT solver for verifying deep neural networks","volume":"10426","author":"katz","year":"2017","journal-title":"Proc CAV"},{"key":"ref36","first-page":"265","article-title":"Tensorflow: A system for large-scale machine learning","author":"abadi","year":"2016","journal-title":"Proc USENIX"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/5.726791"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.49"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2020.2982820"},{"key":"ref33","article-title":"Learning multiple layers of features from tiny images","author":"krizhevsky","year":"2009"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45224-9_24"},{"key":"ref32","article-title":"Fashion-MNIST: A novel image dataset for benchmarking machine learning algorithms","author":"xiao","year":"2017","journal-title":"ArXiv 1708 07747"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.09.016"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2020.3042898"},{"key":"ref17","first-page":"4944","article-title":"Efficient neural network robustness certification with general activation functions","author":"zhang","year":"2018","journal-title":"Proc NIPS"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TCSS.2020.2970805"},{"key":"ref16","first-page":"5273","article-title":"Towards fast computation of certified robustness for ReLU networks","volume":"80","author":"weng","year":"2018","journal-title":"Proc ICML"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2963434"},{"key":"ref19","first-page":"269","article-title":"Formal verification of piece-wise linear feed-forward neural networks","volume":"10482","author":"ehlers","year":"2017","journal-title":"Proc ATVA"},{"key":"ref18","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"tjeng","year":"2019","journal-title":"Proc ICLR"},{"key":"ref24","first-page":"5283","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","volume":"80","author":"wong","year":"2018","journal-title":"Proc ICML"},{"key":"ref23","article-title":"On the effectiveness of interval bound propagation for training verifiably robust models","author":"gowal","year":"2018","journal-title":"arXiv 1810 12715"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES48979.2020.00021"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003515"},{"key":"ref22","article-title":"Verifying neural networks with mixed integer programming","author":"tjeng","year":"2017","journal-title":"arXiv 1711 07356"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2019.2901834"},{"key":"ref21","first-page":"6369","article-title":"Efficient formal safety analysis of neural networks","author":"wang","year":"2018","journal-title":"Proc NIPS"},{"key":"ref43","article-title":"Stochastic hybrid discrete grey wolf optimizer for multi-objective disassembly sequencing and line balancing planning in disassembling multiple products","author":"guo","year":"2021","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_19"},{"key":"ref27","article-title":"Searching for activation functions","author":"ramachandran","year":"2018","journal-title":"Proc ICLR"},{"key":"ref29","author":"goodfellow","year":"2016","journal-title":"Deep Learning"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11633-019-1194-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2020.1003465"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2019.8743159"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.comcom.2018.02.006"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/3065386","article-title":"ImageNet classification with deep convolutional neural networks","volume":"60","author":"krizhevsky","year":"2012","journal-title":"Commun ACM"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2021.104406"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3133127"}],"container-title":["IEEE Transactions on Computational Social Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6570650\/10201450\/09792215.pdf?arnumber=9792215","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T18:02:06Z","timestamp":1692640926000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9792215\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":44,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcss.2022.3179659","relation":{},"ISSN":["2329-924X","2373-7476"],"issn-type":[{"value":"2329-924X","type":"electronic"},{"value":"2373-7476","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8]]}}}