{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:46:45Z","timestamp":1730270805108,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"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,10,24]]},"DOI":"10.1109\/iros45743.2020.9340720","type":"proceedings-article","created":{"date-parts":[[2021,3,15]],"date-time":"2021-03-15T14:49:56Z","timestamp":1615819796000},"page":"7336-7343","source":"Crossref","is-referenced-by-count":4,"title":["Practical Verification of Neural Network Enabled State Estimation System for Robotics"],"prefix":"10.1109","author":[{"given":"Wei","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifan","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youcheng","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Sharp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Maskell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaowei","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/368"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/824"},{"key":"ref12","first-page":"2574","article-title":"Deepfool: a simple and accurate method to fool deep neural networks","author":"moosavi-dezfooli","year":"2016","journal-title":"Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238172"},{"journal-title":"Model checking","year":"2018","author":"clarke jr","key":"ref14"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1016\/j.cosrev.2020.100270","article-title":"A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability","volume":"37","author":"huang","year":"2020","journal-title":"Computer Science Review"},{"article-title":"Systematic testing of convolutional neural networks for autonomous driving","year":"2017","author":"dreossi","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3199852"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SSP.2012.6319711"},{"key":"ref4","article-title":"Adaptive fuzzy neural network control for a constrained robot using impedance learning","author":"he","year":"2017","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"ref3","first-page":"1","article-title":"Detecting and tracking small moving objects in wide area motion imagery (wami) using convolutional neural networks (cnns)","author":"zhou","year":"2019","journal-title":"2019 22th International Conference on Information Fusion (FUSION)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1115\/1.3662552"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196932"},{"article-title":"Explaining and harnessing adversarial examples","year":"2014","author":"goodfellow","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3358233"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.2514\/3.21565"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650250"},{"key":"ref9","article-title":"Safety verification of deep neural networks","author":"huang","year":"2017","journal-title":"CAV"}],"event":{"name":"2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2020,10,24]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2021,1,24]]}},"container-title":["2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9340668\/9340635\/09340720.pdf?arnumber=9340720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:52:04Z","timestamp":1656453124000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9340720\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,24]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iros45743.2020.9340720","relation":{},"subject":[],"published":{"date-parts":[[2020,10,24]]}}}