{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,5,14]]，“日期-时间”：“2024-05-14T12:32:47Z”，“时间戳”：1715689967345}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：109，“出版商”：“ACM”，“许可证”：[{“开始”：{--日期-部件“：[2022,1,29]]，“date-parts”时间“：”2022-01-29T00:00:00Z“，”时间戳“：1643414400000}，“content-version”：“vor”，“delay-in-days”：376，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“funder”：[{“DOI”：“10.13039\/1000000001”，“name”：“国家科学基金会”，“DOI-asserted-by”：“publisher”，“award”：[“1834701，1834324，1839511，1724341”]}100000006“，”名称“：“海军研究办公室”，“doi-asserted-by”：“publisher”，“award”：[“N00014-19-1-2496”]}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{“date-parts”：[2021,18]]}，”doi“：”10.1145\/339485.3431623“，”类型“：”proceedings-article“，”created“：{”日期部分“：[[2021,1,29]]，”日期时间“：“2021-01-29T11:32:48Z”，“timestamp”：1611919968000}，“update-policy”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“源”：“Crossref”，“is-referenced-by-count”：13，“title”：[“Learning-Enabled Autonomous Systems的安全保证设计和适配”]，“prefix”：“10.1145”，”author“[{”given“：”Qi“，”family“：”Zhu“，”sequence“：”first“，”affiliation“”：[{“name”：“美国伊利诺伊州埃文斯顿西北大学电气与计算机工程系”}]}，{“given”：“Chao”，“family”：“Huang”，“sequence”：“additional”，“affiliation”：[{“name”:“美国伊利诺斯州埃文斯顿西北大学电气和计算机工程系“}]}，{”given“：”Ruochen“，”family“：”Jiao“，“sequence”：“additional”，“affiliation”：[{“name”：“美国伊利诺伊州埃文斯顿西北大学电气与计算机工程系”}]}，{“given”：“Shuyue”，“family”：“Lan”，“se序列”：“附加”，“从属关系”：[[{”name“：”美国伊利诺依州埃文斯顿西北大学电气和计算机工程系“}]}，{“given”：“Hengyi”，“family”：“Liu”，“sequence”：“additional”，“affiliation”：[{“name”：“University，Northwestern University电气与计算机工程系，Evanston，Illinois，U.S.A.”}]}，{“fixed”：“Xianggo”，“家族”：“刘”，“序列”：“additional”、“affidiation”：：“美国伊利诺伊州埃文斯顿西北大学电气与计算机工程系”}]}，{“given”：“Yixuan”，“family”：“Wang”，“sequence”：“additional”，“affiliation”：[{“name”：“美国依诺伊州伊文斯顿西北大学电气与计算机工程学系”}]}，}“giving”：“Zhilu”，“家族”：“王”，“serquence”：“附加”，“附属机构”：[{“名称”：“美国伊利诺伊州埃文斯顿西北大学电气与计算机工程系”}]}，{“给定”：“世超”，“家族”：“徐”，“序列”：“附加”，“附属机构”：[{“名称”：“美国伊利诺伊州埃文斯顿西北大学电气与计算机工程系”}]]，“成员”：“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”，“volution”：：“31”，“author”：“Banner R.”，《年份》：“2018”}，{“key”：：“Bastani O.”，“年份”：“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“：”基于强化学习的近事故驾驶模拟政策控制。arXiv预印本arXiv:2007.0178“，”author“：”Cao Z.“，”年份：“2020”}_5_1“，”首页“：”742“，“volume-title”：“神经信息处理系统的进展”，“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-assert-by”：“publisher”，_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“}，”{“密钥”：“e_1_3_2_1_10_1”、“doi-sserted-by“：”publisher，“doi”：“10.1109\/CVPR.2017.195”}、{“key”：”e_3_2_2_11_1“，”doi-assert-by“，”“doi”：“10.1109\/ICASPSP4076.2020.9054428”}，{“key”：“e_1_3_2_12_1”，“首页”：“379”，“volume-title”：“神经信息处理系统的进展”，“author”：“Dai J.”，“year”：“2016”}，{“key”：“e_1_3_2_13_1”，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/CVPRW.2017.66“}，”{“密钥”：“e_1_3_2_14_1”、“首页”：“2148”，“volome-title“：”神经信息处理系统的进展“，”author“：”Denil M.“，“year:”2013“}”，{“密钥”：“e_1_3_2_15_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/3302504.3311807“}，{“key”：“e_ 1_3_2 _1_16_1”、“doi-sserted-by“：”publisher“，”doi:“10.1007\/978-3-319-77935-5_9”}，“key“：”e_1_ 3_2_17_1“，“unstructured”：“A.B.Eriksen C.Huang J.Kildebogaard H.Lahrmann K.G.Larsen M.Muniz and J.H.H。塔安克维斯特。智能交通灯的Uppaal战略。A.B.Eriksen C.Huang J.Kildebogaard H.Lahrmann K.G.Larsen M.Muniz和J.H.Taankvist。智能交通灯的Uppaal战略。“}，{”key“：”e_1_3_2_18_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007 \/978-3-319-96145-3_19”}，“key”：“e_1_ 3_2_19_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007 \/978-3030-53288-8_31“}”，{D45719.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”：“通过二次约束和半定规划对神经网络进行安全性验证和鲁棒性分析。arXiv预印本arXiv:1903.01287”，“author”：“Fazlyab M.”，“year”：“2019”}，}“key”：基于置信度的人类预测的概率安全机器人规划。arXiv预印本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 reasibility studies.arXiv:1712.06174“，”author“；”Fischetti M.“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_2 7_1”，“volume-title”：“解释和利用对抗性示例。arXiv预印本arXiv:1412.6572”，“author”：“Goodfellow I.J.”，”年份：“2014”}，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3049797.3049811“}，{“key”：“e_1_3_2_1_29_1”，“volume-title”：“ITS报告”，“author”：“Grembek O.”，“年份”：“2018”}，“key“：”e_1_ 3_2_1_30_1“，“第一页”：“1135”，“volume-titel”：“神经信息处理系统的进展”，“作者”：“Han S”，“年”：“2015”}、{“key”：”e_ 3_2_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-assert-by”：“publisher”，“doi”：“10.1109\/CDC.2017.8263867”}，}“key”：“e_1_ 2_3_1_34_1”，”volume-title“：”在神经网络中提取知识。arXiv预印本arXiv:1503.02531“，”作者：“Hinton G.”，“年份”：“2015”}，{“关键”：“e_1_3_2_1_35_1“，“volume-title”：“手机：用于移动视觉应用的高效卷积神经网络。arXiv预印本arXiv:1704.04861“，”author“：”Howard A.G.“，”year“：”2017“}，{“key”：“e_1_3_2_1_36_1”，“volume-title”：“Monas：使用强化学习的多目标神经架构搜索。arXiv预先印本arX iv:1806.10332”，“author”：“Hsu C.-H.”，“year”：“2018”}，“key“：”e_1_ 3_2_1_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“}、{“密钥”：“e_1_3_2_1_39_1”、“doi-sserted-by“：”publisher“，”doi:“10.1109\/ICRA45.2020.9197375”}，“key“：”e_1_ 3_2_1_40_1“，“volume-title”：“IJCAI”、”作者“：”黄C.“，“年份”：“2016”}，{“密钥”：“e_1_3_2_1_41_1”，“doi-asserted-by”：“出版商”，“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_s2_1_43_1“，”volume-title“：”Reachnn:神经网络控制系统的可达性分析。嵌入式计算系统ACM事务（TECS），18（5s）：1--22“，”作者：“Huang C.”，“年份”：“2019”}，{“密钥”：“e_1_3_2_1_44_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3302504.3311811”}，{“key”：“e_1_s2_1_45_1”，”doi-assert-by“：”publisher“，”doi“：”10.1109\/DAC18072.2020.9218742“}，”{“密钥”：“e_1_3_2_1_46_1”、“首页”：“2752”，“卷时间”：“IEEE计算机视觉和模式识别会议论文集”，“作者”：“黄G。“，”年份“：”2018“}，{”key“：”e_1_3_2_1_47_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/CVPR.2019.00657”}，{“key”：“e_1_m2_1_48_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/3302504.3311806“}，”key“:”e_3_2_49_1“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_a_2_1_52_1“，”volume-title“：”最佳脑损伤。神经信息处理系统的进展，2:598-605“，”author“：”LeCun Y.“，”year“1989”}，“key“：“10.1109\/CVPR42600.2020.01392”}，{“key”：“e_1_3_2_1_54_1”，“volume-title”：“高效卷积的修剪过滤器。arXiv预打印arXiv:1608.08710”，“author”：“Li H.”，《年份》：“2016年”}，{“key”：《e_1_ 3_2_1 _55_1》，“doi-asserted-by”：“publisher”，”doi：“10.1109\/CVPR.2017.776”}“10.1145\/3240765.3243488”}，{“键”：“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-assert-by“：”publisher“，”doi“：”10.1109\/ICC46524.2019.00035“}，”{“key”：”e_1_ 3_2_1 _59_1“，“，”首页“：”345“，”卷标“：“神经信息处理系统的进展”，“作者”：“Lin X.”，“年份”：“2017”}，{“key”：“e_1_3_2_1_61_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3-319-46448-0_2“}，”{“密钥”：“e_1_3_2_1_62_1“，”doi-assert-by“：”publisher“，“doi”：“10.1109\/IV47402.2020.9304804”}“卷时间”：“交通研究委员会第100届年会，1”，“作者”：“Liu X.”，“年份”：“2021”}，{“密钥”：“e_1_3_2_64_1”，“卷标题”：“交通研究委员会第99届年会，1”，“作者”：“Liu X.”，“年份”：“2020”}，{“密钥”：“e_1_3_2_65_1”，“doi断言者”：“发布者”，“doi”：“10.1007\/978-3-030-01267-0_44”}，{“密钥”：“e_1_3_2_66_1”，“卷标题”：“前馈相关神经网络可达性分析方法。arXiv预印本arXiv:1706.07351”，“作者”：“Lomuscio A.”，“年份”：“2017”}，{“密钥”：“e_1_3_2_1_67_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/LRA.2020.2974682：“欧洲计算机视觉会议论文集（ECCV）”，“作者”：“Mehta R.”，“年份”：“2018”}，{“密钥”：“e_1_3_2_1_69_1”，《首页》：“475”，“卷标题”：“欧洲会议展览自动化与测试（DATE）”，《作者》：“熊猫P.”，年：“2016”}_32“}，{“key”：“e_1_3_2_1_71_1”，“首页”：“10877”，“volume-title”：“神经信息处理系统的进展”，“author”：“Raghunathan A.”，“year”：“2018”}，{“key”：”e_1_ 3_2_1 _72_1“，“volume-title”：”支持学习的网络物理系统的动态加权单纯形策略。《系统体系结构杂志》，第101760页“，”author“：”Ramakrishna S.“，”年“：“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_1_74_1”、“doi-sserted-by“：”publisher“，”doi:“10.1109\/CVPR.2016.91”}、{“key”：”e_1_i_2_1_75_1“，“首页”：“91”，“卷时间”：“神经信息处理系统的进展”，“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-sserted-by“：”publisher“，“doi”：“10.1109\/ACC.1998.703255”}，“key“：”e_1_ 3_2_1 _78_1“，”doi-assert-by““：”publisher“，”doi:“10.1007\/9788-3-319-71682-4_10”}、{“key“：”e_1_3_2_1_79_1“，”首页“：”10802“，”卷时间“：“神经信息处理系统的进展”，“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”}、，{“key”：“e_1_3_2_1_82_1”，“volume-title”：“神经网络的有趣特性。arXiv预印本arXiv:1312.6199”，”author“：”Szegedy C.“，”year“：”2013“}，{“key”：”e_1_a_2_1_83_1“，”volume-titel“：”Efficientnet：重新思考卷积神经网络的模型标度。arXiv:1905.11946“，”auth“：”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-sserted-by“：”publisher“，“doi”：“10.1109\/ACCES.2019.2954978”}，“key“：”e_1_ 2_1_86_1 key“：”e_1_3_2_1_87_1“，”卷时间“：“学习表征国际会议”，“作者”：“Tjeng V.”，“年份”：“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_a_2_1_89_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ACCESS.200.2983174”｝，｛“key”：“e_1_3_2_1_91_1”，“doi由”：“publisher”断言，“doi”：“10.1109\/CVPR.2019.00926”｝，｛“key”：“e_1_3_2_92_1”，“doi由”：“publisher”断言，“doi”：“10.1145\/3400302.3415676”｝，｛“key”：“e_1_3_2_1_93_1”，“doi由”：“publisher”断言，“doi”：“10.1109\/MDAT.2020.303 7561“｝，｛“key”：“e_1_3_2_1_94_1”，“doi断言者”：“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“}，”{“密钥”：“e_1_3_2_1_96_1”、“DOI-assert-by”：“publiser”，serted-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》：“利用非均匀压缩的多出口神经网络进行能量收集驱动设备的间歇推理。arXiv预印本arXiv:2004.11293”，“author”：“Yawen W.”，“year”：“2020”}、{“key”：”e_1_ 3_2_1_100_1“，”volume-titel“：“通过扩展卷积进行多尺度上下文聚合。arXiv预印本arXiv:1511.07122”，“作者”：“Yu F.”，“年份”：“2015”}，{“密钥”：“e_1_3_2_101_1”，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-030-01237-3_23“}，”{“key”：“e_1_3_2_102_1”{“key”：“e_1_3_2_1_103_1”，“doi-asserted-by”：“publisher”，“DOI”：“10.1109\/CVPR.2016.79”}，{“key”：“e_1_3_2_104_1”，”首页“：“55”，“volume-title”：“实时系统软容错策略的分析与优化。2015年国际软硬件代码设计与系统综合会议（CODES+ISSS）”，“author”：“Zheng B.”，“year”：“2015”}，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SMARTCOMP.2017.7946999”}，{“key”：“e_1_3_2_106_1”，”doi-assert-by“：”publisher“，”doi“：”10.1145\/3300184“}，”{“key”：”e_1_ 3_2_1_107_1“，“volume-title”：“下一代互联汽车的探索和验证框架。在计算机辅助设计（ICCAD）中，2016 IEEE\/ACM国际会议，“author”：“Zheng B.”，“year”：“2016”}，{“key”：“e_1_3_2_108_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/ICCAD.2017.8203888“}，”{“密钥”：“e_1_3_2_109_1”、“首页”：“1”，“volume-title”：“2020 IEEE\/ACM国际计算机辅助设计会议（ICCAD）”，“audor”：”Zhu Q.“，”年份：“2020”}]，“event”：{名称“：“ASPDAC’21:第26届亚洲及南太平洋设计自动化会议”，“地点”：“日本东京”，“缩写词”：“ASPADC’21”，“赞助商”：[“SIGDA ACM设计自动化特别兴趣小组”，“IEEE CAS”，“EEE CEDA”]}，“集装箱标签”：[《第26届亚太设计自动化会议论文集》]，“原文标题”：[]，“链接”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394885.3431623”，“content-type”：“application\/pdf”，“content-version”：“vor”，“intended-application”：“syndication”}，{“URL”：“http:\/\-dl.acm..org\/doi\/pdf\/10.1145\/3394805.3431623”，“内容类型”：“unspecified”，“content-version“：”vor“，”intended-application“：”相似检查“}]”，“存放”：{“日期部分”用法：[2023,1,11]]，“日期时间”：“2023-01-11T09:42:21Z”，“时间戳”：1673430141000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3394885.3431623”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2021,18]]}”，“引用计数”：109，“alternative-id”：[“10.1145\/3394885.3431623”，“10.1145\/3394885”]，“URL”：“http://\/dx.doi.org\/10.1145\/3394885.3431623”，“关系”：{}，“主题”：[]，“已发布”：{“日期-部件”：[2021,18]]}，”断言“：[{“值”：“2021-01-29”，“顺序”：2，“名称”：“已发布的”，“标签”：“发布的”