{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T04:16:53Z","timestamp":1782879413417,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":109,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,1,18]],"date-time":"2021-01-18T00:00:00Z","timestamp":1610928000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1834701, 1834324, 1839511, 1724341"],"award-info":[{"award-number":["1834701, 1834324, 1839511, 1724341"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-19-1-2496"],"award-info":[{"award-number":["N00014-19-1-2496"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,1,18]]},"DOI":"10.1145\/3394885.3431623","type":"proceedings-article","created":{"date-parts":[[2021,1,29]],"date-time":"2021-01-29T11:32:48Z","timestamp":1611919968000},"page":"753-760","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems"],"prefix":"10.1145","author":[{"given":"Qi","family":"Zhu","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chao","family":"Huang","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ruochen","family":"Jiao","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shuyue","family":"Lan","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hengyi","family":"Liang","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiangguo","family":"Liu","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yixuan","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhilu","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shichao","family":"Xu","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois, U.S.A."}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,1,29]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"5145","volume-title":"Advances in Neural Information Processing Systems","volume":"31","author":"Banner R.","year":"2018"},{"key":"e_1_3_2_1_2_1","first-page":"2613","volume-title":"Advances in neural information processing systems","author":"Bastani O.","year":"2016"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1150402.1150464"},{"key":"e_1_3_2_1_4_1","volume-title":"Reinforcement learning based control of imitative policies for near-accident driving. arXiv preprint arXiv:2007.00178","author":"Cao Z.","year":"2020"},{"key":"e_1_3_2_1_5_1","first-page":"742","volume-title":"Advances in Neural Information Processing Systems","author":"Chen G.","year":"2017"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23222"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.08.035"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_18"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.195"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP40776.2020.9054428"},{"key":"e_1_3_2_1_12_1","first-page":"379","volume-title":"Advances in neural information processing systems","author":"Dai J.","year":"2016"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW.2017.66"},{"key":"e_1_3_2_1_14_1","first-page":"2148","volume-title":"Advances in neural information processing systems","author":"Denil M.","year":"2013"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311807"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"e_1_3_2_1_17_1","unstructured":"A. B. Eriksen C. Huang J. Kildebogaard H. Lahrmann K. G. Larsen M. Muniz and J. H. Taankvist. Uppaal stratego for intelligent traffic lights.  A. B. Eriksen C. Huang J. Kildebogaard H. Lahrmann K. G. Larsen M. Muniz and J. H. Taankvist. Uppaal stratego for intelligent traffic lights."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_19"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_31"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942059"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_30"},{"key":"e_1_3_2_1_22_1","volume-title":"Safety verification and robustness analysis of neural networks via quadratic constraints and semidefinite programming. arXiv preprint arXiv:1903.01287","author":"Fazlyab M.","year":"2019"},{"key":"e_1_3_2_1_23_1","volume-title":"Probabilistically safe robot planning with confidence-based human predictions. arXiv preprint arXiv:1806.00109","author":"Fisac J. F.","year":"2018"},{"key":"e_1_3_2_1_24_1","volume-title":"Deep neural networks as 0--1 mixed integer linear programs: A feasibility study. arXiv preprint arXiv:1712.06174","author":"Fischetti M.","year":"2017"},{"key":"e_1_3_2_1_25_1","volume-title":"Uncertainty in deep learning","author":"Gal Y.","year":"2016"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00495"},{"key":"e_1_3_2_1_27_1","volume-title":"Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572","author":"Goodfellow I. J.","year":"2014"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049811"},{"key":"e_1_3_2_1_29_1","volume-title":"ITS Reports","author":"Grembek O.","year":"2018"},{"key":"e_1_3_2_1_30_1","first-page":"1135","volume-title":"Advances in neural information processing systems","author":"Han S.","year":"2015"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.322"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.155"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"e_1_3_2_1_34_1","volume-title":"Distilling the knowledge in a neural network. arXiv preprint arXiv:1503.02531","author":"Hinton G.","year":"2015"},{"key":"e_1_3_2_1_35_1","volume-title":"Mobilenets: Efficient convolutional neural networks for mobile vision applications. arXiv preprint arXiv:1704.04861","author":"Howard A. G.","year":"2017"},{"key":"e_1_3_2_1_36_1","volume-title":"Monas: Multi-objective neural architecture search using reinforcement learning. arXiv preprint arXiv:1806.10332","author":"Hsu C.-H.","year":"2018"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_26"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126508"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197375"},{"key":"e_1_3_2_1_40_1","volume-title":"IJCAI","author":"Huang C.","year":"2016"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/605"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013071"},{"key":"e_1_3_2_1_43_1","volume-title":"Reachnn: Reachability analysis of neural-network controlled systems. ACM Transactions on Embedded Computing Systems (TECS), 18(5s):1--22","author":"Huang C.","year":"2019"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311811"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218742"},{"key":"e_1_3_2_1_46_1","first-page":"2752","volume-title":"Proceedings of the IEEE conference on computer vision and pattern recognition","author":"Huang G.","year":"2018"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00657"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311806"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00708"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394171.3413767"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01264-9_45"},{"key":"e_1_3_2_1_52_1","volume-title":"Optimal brain damage. Advances in neural information processing systems, 2:598--605","author":"LeCun Y.","year":"1989"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.01392"},{"key":"e_1_3_2_1_54_1","volume-title":"Pruning filters for efficient convnets. arXiv preprint arXiv:1608.08710","author":"Li H.","year":"2016"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.776"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3243488"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415717"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD46524.2019.00035"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.324"},{"key":"e_1_3_2_1_60_1","first-page":"345","volume-title":"Advances in Neural Information Processing Systems","author":"Lin X.","year":"2017"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46448-0_2"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304804"},{"key":"e_1_3_2_1_63_1","volume-title":"Transportation Research Board 100th Annual Meeting, 1","author":"Liu X.","year":"2021"},{"key":"e_1_3_2_1_64_1","volume-title":"Transportation Research Board 99th Annual Meeting, 1","author":"Liu X.","year":"2020"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01267-0_44"},{"key":"e_1_3_2_1_66_1","volume-title":"An approach to reachability analysis for feedforward relu neural networks. arXiv preprint arXiv:1706.07351","author":"Lomuscio A.","year":"2017"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2020.2974682"},{"key":"e_1_3_2_1_68_1","first-page":"0","volume-title":"Proceedings of the European Conference on Computer Vision (ECCV)","author":"Mehta R.","year":"2018"},{"key":"e_1_3_2_1_69_1","first-page":"475","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE)","author":"Panda P.","year":"2016"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"e_1_3_2_1_71_1","first-page":"10877","volume-title":"Advances in Neural Information Processing Systems","author":"Raghunathan A.","year":"2018"},{"key":"e_1_3_2_1_72_1","volume-title":"Dynamic-weighted simplex strategy for learning enabled cyber physical systems. Journal of Systems Architecture, page 101760","author":"Ramakrishna S.","year":"2020"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46493-0_32"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.91"},{"key":"e_1_3_2_1_75_1","first-page":"91","volume-title":"Advances in neural information processing systems","author":"Ren S.","year":"2015"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00474"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.703255"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71682-4_10"},{"key":"e_1_3_2_1_79_1","first-page":"10802","volume-title":"Advances in Neural Information Processing Systems","author":"Singh G.","year":"2018"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44051-0_32"},{"key":"e_1_3_2_1_81_1","volume-title":"Data-free parameter pruning for deep neural networks. arXiv preprint arXiv:1507.06149","author":"Srinivas S.","year":"2015"},{"key":"e_1_3_2_1_82_1","volume-title":"Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199","author":"Szegedy C.","year":"2013"},{"key":"e_1_3_2_1_83_1","volume-title":"Efficientnet: Rethinking model scaling for convolutional neural networks. arXiv preprint arXiv:1905.11946","author":"Tan M.","year":"2019"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPR.2016.7900006"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2954978"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2019.00972"},{"key":"e_1_3_2_1_87_1","volume-title":"International Conference on Learning Representations","author":"Tjeng V.","year":"2019"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_2"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_1"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2983174"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00926"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/3400302.3415676"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2020.3037561"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569947"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW.2017.60"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1109\/WACV45572.2020.9093379"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_44"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6566955"},{"key":"e_1_3_2_1_99_1","volume-title":"Intermittent inference with nonuniformly compressed multi-exit neural network for energy harvesting powered devices. arXiv preprint arXiv:2004.11293","author":"Yawen W.","year":"2020"},{"key":"e_1_3_2_1_100_1","volume-title":"Multi-scale context aggregation by dilated convolutions. arXiv preprint arXiv:1511.07122","author":"Yu F.","year":"2015"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01237-3_23"},{"key":"e_1_3_2_1_102_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00716"},{"key":"e_1_3_2_1_103_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.79"},{"key":"e_1_3_2_1_104_1","first-page":"55","volume-title":"Analysis and Optimization of Soft Error Tolerance Strategies for Real-Time Systems. In 2015 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)","author":"Zheng B.","year":"2015"},{"key":"e_1_3_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP.2017.7946999"},{"key":"e_1_3_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1145\/3300184"},{"key":"e_1_3_2_1_107_1","volume-title":"Exploration and Validation Framework for Next-generation Connected Vehicles. In Computer-Aided Design (ICCAD), 2016 IEEE\/ACM International Conference on","author":"Zheng B.","year":"2016"},{"key":"e_1_3_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203888"},{"key":"e_1_3_2_1_109_1","first-page":"1","volume-title":"2020 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","author":"Zhu Q.","year":"2020"}],"event":{"name":"ASPDAC '21: 26th Asia and South Pacific Design Automation Conference","location":"Tokyo Japan","acronym":"ASPDAC '21","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 26th Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431623","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394885.3431623","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394885.3431623","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:59Z","timestamp":1750193279000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431623"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,18]]},"references-count":109,"alternative-id":["10.1145\/3394885.3431623","10.1145\/3394885"],"URL":"https:\/\/doi.org\/10.1145\/3394885.3431623","relation":{},"subject":[],"published":{"date-parts":[[2021,1,18]]},"assertion":[{"value":"2021-01-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}