{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:38:38Z","timestamp":1725712718176},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,14]],"date-time":"2020-12-14T00:00:00Z","timestamp":1607904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,14]]},"DOI":"10.1109\/icm50269.2020.9331504","type":"proceedings-article","created":{"date-parts":[[2021,1,28]],"date-time":"2021-01-28T21:48:50Z","timestamp":1611870530000},"page":"1-4","source":"Crossref","is-referenced-by-count":1,"title":["Verification of Neural Networks for Safety Critical Applications"],"prefix":"10.1109","author":[{"given":"Khaled","family":"Khalifa","sequence":"first","affiliation":[]},{"given":"Mona","family":"Safar","sequence":"additional","affiliation":[]},{"given":"M. Watheq","family":"El-Kharashi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref13","first-page":"5283","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","author":"kolter","year":"2018","journal-title":"Proc of the International Conference on Machine Learning (ICML)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"818","DOI":"10.1007\/978-3-319-10590-1_53","article-title":"Visualizing and understanding convolutional networks","author":"zeiler","year":"2014","journal-title":"Proceedings of the European Conference on Computer Vision (ECCV 2014)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"year":"0","key":"ref17"},{"journal-title":"The MNIST Database of Handwritten Digits","year":"1998","author":"lecun","key":"ref18"},{"article-title":"Concrete problems in ai safety","year":"0","author":"amodei","key":"ref4"},{"key":"ref3","first-page":"270","article-title":"Certification considerations for adaptive systems","author":"bhattacharyya","year":"2015","journal-title":"2013 International Conference on Unmanned Aircraft Systems (ICUAS)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714971"},{"key":"ref5","article-title":"Challenges in the Verification of Reinforcement Learning Algorithms","author":"wesel","year":"2017","journal-title":"NASA Technical Reports"},{"journal-title":"Formal Verification An Essential Toolkit for Modern VLSI Design","year":"2015","author":"seligman","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94463-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342158"},{"key":"ref1","first-page":"1097","article-title":"Imagenet classification with deep convolutional neural networks","author":"krizhevsky","year":"2012","journal-title":"Proceedings of the Neural Information Processing Systems Conference (NIPS 2012)"},{"year":"0","key":"ref9"}],"event":{"name":"2020 32nd International Conference on Microelectronics (ICM)","start":{"date-parts":[[2020,12,14]]},"location":"Aqaba, Jordan","end":{"date-parts":[[2020,12,17]]}},"container-title":["2020 32nd International Conference on Microelectronics (ICM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9331748\/9331492\/09331504.pdf?arnumber=9331504","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T00:27:30Z","timestamp":1656376050000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9331504\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,14]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icm50269.2020.9331504","relation":{},"subject":[],"published":{"date-parts":[[2020,12,14]]}}}