{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:17:41Z","timestamp":1729649861017,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"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,19]]},"DOI":"10.1109\/iv47402.2020.9304548","type":"proceedings-article","created":{"date-parts":[[2021,1,10]],"date-time":"2021-01-10T07:14:14Z","timestamp":1610262854000},"page":"298-304","source":"Crossref","is-referenced-by-count":1,"title":["Towards Robust Direct Perception Networks for Automated Driving"],"prefix":"10.1109","author":[{"given":"Chih-Hong","family":"Cheng","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref38","article-title":"A dual approach to scalable verification of deep networks","author":"dvijotham","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/368"},{"key":"ref32","first-page":"4795","article-title":"A unified view of piecewise linear neural network verification","author":"bunel","year":"2018","journal-title":"Advances in Neural Information Processing Systems (NIPS)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"ref30","first-page":"6615","article-title":"Verifying properties of binarized deep neural networks","author":"narodytska","year":"0","journal-title":"Proceedings of the 32nd AAAI Conference on Artificial Intelligence"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref36","article-title":"Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification","author":"yang","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref35","first-page":"5276","article-title":"Towards fast computation of certified robustness for ReLU networks","author":"weng","year":"0","journal-title":"Proceedings of the 35th international conference on International Conference on Machine Learning (ICML)"},{"key":"ref34","first-page":"1599","article-title":"Formal security analysis of neural networks using symbolic intervals","author":"wang","year":"0","journal-title":"Proceedings of the USENIX Security Symposium (USENIX)"},{"key":"ref10","article-title":"Provably robust deep learning via adversarially trained smoothed classifiers","author":"salman","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref11","first-page":"807","article-title":"Rectified linear units improve restricted boltzmann machines","author":"nair","year":"0","journal-title":"Proceedings of the 27th International Conference on Machine Learning (ICML)"},{"key":"ref12","article-title":"Fast and accurate deep network learning by exponential linear units (elus)","author":"clevert","year":"0","journal-title":"Proceedings of the 4th International Conference on Learning Representations (ICLR)"},{"key":"ref13","first-page":"3","article-title":"Rectifier nonlinearities improve neural network acoustic models","volume":"30","author":"maas","year":"0","journal-title":"Proceedings of the 30th International Conference on Machine Learning (ICML)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_18"},{"key":"ref16","first-page":"249","article-title":"Understanding the difficulty of training deep feedforward neural networks","author":"glorot","year":"0","journal-title":"Proceedings of the 13th International Conference on Artificial Intelligence and Statistics (AISTATS)"},{"key":"ref17","article-title":"Adam: A method for stochastic optimization","author":"kingma","year":"2014","journal-title":"ArXiv Preprint"},{"key":"ref18","article-title":"Intriguing properties of neural networks","author":"szegedy","year":"2013","journal-title":"ArXiv Preprint"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref4","first-page":"5283","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","author":"wong","year":"0","journal-title":"Proceedings of the 35th international conference on International Conference on Machine Learning (ICML)"},{"key":"ref27","first-page":"3","article-title":"Safety verification of deep neural networks","author":"huang","year":"0","journal-title":"Proceedings of the 29th International Conference on Computer Aided Verification (CAV)"},{"key":"ref3","first-page":"237","article-title":"Conditional affordance learning for driving in urban environments","author":"sauer","year":"0","journal-title":"2nd Conference on Robot Learning (CoRL)"},{"key":"ref6","article-title":"Mixtrain: Scalable training of formally robust neural networks","author":"wang","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref29","article-title":"An approach to reachability analysis for feed-forward ReLU neural networks","author":"lomuscio","year":"2017","journal-title":"ArXiv Preprint"},{"key":"ref5","article-title":"Certifying some distributional robustness with principled adversarial training","author":"sinha","year":"0","journal-title":"Proc of the Int Conf on Learning Representations (ICLR)"},{"key":"ref8","first-page":"8400","article-title":"Scaling provable adversarial defenses","author":"wong","year":"2018","journal-title":"Advances in Neural Information Processing Systems (NIPS)"},{"key":"ref7","article-title":"Certified defenses against adversarial examples","author":"raghunathan","year":"0","journal-title":"Proc of the Int Conf on Learning Representations (ICLR)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.312"},{"key":"ref9","first-page":"6541","article-title":"Lipschitz-margin training: Scalable certification of perturbation invariance for deep neural networks","author":"tsuzuku","year":"2018","journal-title":"Advances in Neural Information Processing Systems (NIPS)"},{"key":"ref1","first-page":"305","article-title":"Alvinn: An autonomous land vehicle in a neural network","author":"pomerleau","year":"1989","journal-title":"Advances in Neural Information Processing Systems (NIPS)"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2807385"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.29007\/7ksb","article-title":"Testing deep neural networks","author":"sun","year":"2018","journal-title":"ArXiv Preprint"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_8"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238172"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_24"}],"event":{"name":"2020 IEEE Intelligent Vehicles Symposium (IV)","start":{"date-parts":[[2020,10,19]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2020,11,13]]}},"container-title":["2020 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9304518\/9304528\/09304548.pdf?arnumber=9304548","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,11]],"date-time":"2022-12-11T03:48:27Z","timestamp":1670730507000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9304548\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/iv47402.2020.9304548","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]}}}