{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:41:08Z","timestamp":1740102068542,"version":"3.37.3"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T00:00:00Z","timestamp":1687046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T00:00:00Z","timestamp":1687046400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62172019"],"award-info":[{"award-number":["62172019"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,18]]},"DOI":"10.1109\/ijcnn54540.2023.10191319","type":"proceedings-article","created":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T17:30:03Z","timestamp":1690997403000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Measuring Robustness of Deep Neural Networks from the Lens of Statistical Model Checking"],"prefix":"10.1109","author":[{"given":"Hao","family":"Bu","sequence":"first","affiliation":[{"name":"School of Mathematical Sciences, Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Peking University,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1198\/tast.2010.09140"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/BF02883985"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3310226"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/603297"},{"key":"ref11","first-page":"143","article-title":"COS-MOS: a statistical model checker for the hybrid automata stochastic logic","author":"ballarini","year":"2011","journal-title":"In Proceedings of the Eighth International Conference on Quan-titative Evaluation of SysTems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref2","first-page":"244","article-title":"Towards verifying robustness of neural networks against a family of semantic per-turbations","author":"mohapatra","year":"2020","journal-title":"Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition"},{"key":"ref1","article-title":"Certi-fying geometric robustness of neural networks","author":"balunovic","year":"2019","journal-title":"In Proceedings of the advances in neural information processing systems"},{"key":"ref17","article-title":"A statistical approach to assessing neural network robustness","author":"webb","year":"2019","journal-title":"In Proceedings of the International Conference on Learning Representations"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/789"},{"key":"ref18","article-title":"RoMA: A method for neural network robustness measurement and assessment","author":"levy","year":"2021","journal-title":"arXiv 2110 11088"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/26.4.404"},{"key":"ref23","article-title":"Certifying semantic robustness of deep neural networks","author":"bu","year":"2023","journal-title":"In Proceedings of the 27th International Conference on Engineering of Complex Computer Systems"},{"journal-title":"Project website of this paper","year":"0","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177729330"},{"key":"ref20","first-page":"312","article-title":"Scalable quantitative verification for deep neural networks","author":"baluta","year":"2021","journal-title":"In Proceedings of the 43th International Conference on Software Engineering"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v36i7.20768"},{"key":"ref21","article-title":"Efficient statistical assessment of neural network corruption robustness","author":"tit","year":"2021","journal-title":"In Proceedings of the advances in neural information processing systems"},{"key":"ref27","first-page":"1735","article-title":"Statistically robust neural network classification","author":"wang","year":"2021","journal-title":"In Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_17"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/368"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref6"},{"key":"ref5","article-title":"Benchmarking neural network robust-ness to common corruptions and perturbations","author":"hendrycks","year":"2019","journal-title":"In Proceedings of the International Conference on Learning Representations"}],"event":{"name":"2023 International Joint Conference on Neural Networks (IJCNN)","start":{"date-parts":[[2023,6,18]]},"location":"Gold Coast, Australia","end":{"date-parts":[[2023,6,23]]}},"container-title":["2023 International Joint Conference on Neural Networks (IJCNN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10190990\/10190992\/10191319.pdf?arnumber=10191319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,21]],"date-time":"2023-08-21T17:47:17Z","timestamp":1692640037000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10191319\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,18]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/ijcnn54540.2023.10191319","relation":{},"subject":[],"published":{"date-parts":[[2023,6,18]]}}}