{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T20:37:37Z”，“时间戳”：1726173457239}，“出版商位置”：“查姆”，“引用计数”：32，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783031158414”}，{“类型”：“电子”，“value”：“9783031158421”}]，“license”：[{“start”：{“date-parts”：[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}，{“start”：{“date-ports”：[2022,1,1]，“日期-时间”：“022-01-01T”00:00:00Z“，”timestamp“：1640995200000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{-“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3-031-15842-1_16“，”type“：”book-capter“，”“created”：{“date-ports”：[[2022,9,8]]，“日期-时间”：“2022-09-08T04:02:50Z”，“时间戳”：1662609770000}，“页面”：“219-234”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“交叉引用”，“is-referenced-by-count”：2，“标题”：[“保持距离：确定采样和\u00a0Machine Learning Monitoring中的距离阈值”]，“前缀”：“10.1007”，”作者“：[{”ORCID“：“http://\/orcid.org\/00000-0001-6749-0620”，“authenticated-orcid”：false，“given”：“Al-Harith”，“family”：“Farhad”，“sequence”：“first”，“affiliation”：[]}，{“orcid”：CID“：“http://\/orcid.org\/00000-0002-7113-7376”，“authenticated-orcid”：false，“given”：“Andreas”，“family”：“Schmidt”，“sequence”：“additional”，“affiliation”：[]}，{“orcid”：：“http://\/orcid.org\/00000-0001-9318-8177”，“authenticated-orcid”：false，“given”：“Koorosh”，“family”：“Aslansefat”，“sequence”：“additional”，“affiliation”：[]}，{“orcid”：“297”，“在线发布”：{“date-parts”：[[2022,9,9]]}，“reference”：[{“issue”：“8”，“key”：“16_CR1”，“doi-asserted-by”：“publisher”，”first page“：”66“，”doi“：”10.1109\/MC.2021.3075054“，”volume“：“54”，“author”：“K Aslansefat”，“year”：“2021”，“unstructured”：“Aslansefat，K.，Kabir，S.，Abdullatif，A.，Vasudevan，V.，Papadopoulos，Y.：提高对自动驾驶汽车软件的信心：交通标志识别系统的研究。计算机54（8），66\u201376（2021）”，“日志标题”：“计算机”}，{“密钥”：“16_CR2”，“series-title”：“计算科学课堂笔记”，“doi-asserted-by”：“出版商”，“首页”：“197”，“DOI”：“10.1007\/978-3-030-58920-2_13”，“卷标题”：“基于模型的安全和评估”，“作者”：“K Aslansefat”，“年份”：“2020”，“非结构化”：“Aslansefat，K.，Sorokos，I.，Whiting，D.，Tavakoli Kolagari，R.，Papadopoulos，Y.：SafeML：通过统计差异度量对机器学习分类器进行安全监控。摘自：Zeller，M.，H\u00f6图，K.（编辑）IMBSA 2020。LNCS，第12297卷，第197\u2013211页。查姆施普林格（2020）。https:\/\/doi.org\/10007\/978-3-030-58920-2_13“}，{“doi-asserted-by”：“crossref”，“unstructured”：“Cheng，C.H.，Huang，C.H，N\u00fchrenberg，G.：nn-dependability-kit:安全关键型自动驾驶系统的工程神经网络。In:国际计算机辅助设计会议（ICCAD），pp.1\u20136。IEEE（2019）“，”key“：”16_CR3“，”DOI“：”10.1109\/ICCAD45719.2019.8942153“}，{“issue”：“1”，“key”：“16_CR4”，“DOI-asserted-by”：“publisher”，“first page”：《155》，“DOI”：“10.1037\/0033-2909.112.1.155”，“volume”：第112页，“author”：“J Cohen”，“year”：“1992”，“unstructured”：“Cohen，J.：一本力量入门读物。Psychol.Bull。112（1），155（1992）“，“新闻标题”：“精神病。公牛”}，{“非结构化”：“Dosovitskiy，A.，Ros，G.，Codevilla，F.，Lopez，A.，Koltun，V.：CARLA：开放式城市驾驶模拟器。In:第一届机器人学习年会（2017）”，“key”：“16_CR5”}，{“doi-asserted-by”：“publisher”，“unstructured”：“Duan，J.，Zeng，J.和Zhang，D.：HMM距离阈值的确定方法。In:2009第六届模糊系统与知识发现国际会议，第1卷，第387\u2013391页（2009）.https:\/\/doi.org\/10.109\/FSKD.2009.732“，”key“：”16_CR6“，”doi“：”10.1109\/FSKD.2009.732”}，{“key”：“16_CR7”，”doi-asserted-by“：”publisher“，”doi“：“10.1017\/CBO9780511761676”，“volume-title”：“影响大小的基本指南：统计能力、元分析和研究结果的解释”，“author”：“PD Ellis”，“year”：“2010”，“非结构化”：“Ellis，P.D.：效应大小的基本指南：统计能力、元分析和研究结果的解释。剑桥大学出版社，剑桥（2010）。https:\/\/doi.org\/10.1017\/CBO9780511761676“}，{”key“：”16_CR8“，”series-title“：”运筹学与管理科学国际丛书“，”doi-asserted-by“：”publisher“，”first page“：“165”，“doi”：“10.1007\/978-3319-43317-2_13”，“volume-title”：“计算概率应用”，“author”：“DL-Evans”，“年份”：“2017”，“非结构化”：“Evans，D.L.、Drew，J.H.、Leemis，L.M.：具有估计参数的指数总体的Kolmogorov\u2013Smirnov、Cramer\u2013von Mises和Anderson\u2013Darling检验统计量的分布。收录：Glen，A.G.，Leemis，L.M.（编辑）《计算概率应用》。ISORMS，第247卷，第165\u2013190页。查姆施普林格（2017）。https://doi.org\/10.1007\/978-3-319-43317-2_13“}，{“非结构化”：“Fischer，M.，Balunovic，M.、Drachsler-Cohen，D.、Gehr，T.、Zhang，C.、Vechev，M.：Dl2:用逻辑训练和查询神经网络。摘自：国际机器学习会议，第1931\u20131941页。PMLR（2019）“，“key”：“16_CR9”}，{“doi-asserted-by”：“crossref”，“unstructured”：“Gehr，T.，Mirman，M.，Drachsler-Cohen，D.，Tsankov，P.，Chaudhuri，S.，Vechev，M.：Ai2：具有抽象解释的神经网络的安全性和健壮性认证。In:安全与隐私研讨会（SP）。IEEE（2018）”，“key:“16_CR10”，“doi”：“10.1109\/SP.2018.00058“}，{”doi-asserted-by“：”crossref“，”unstructured“：”Gerasimou，S.，Eniser，H.F.，Sen，A.，Cakan，A.：重要性驱动的深度学习系统测试。In：第42届国际软件工程会议（ICSE）。IEEE（2020）“，”key“：”16_CR11“，”doi“：”10.1145\/3377811.338391“}”，{“key”：“16_CR12”，”series-title“：”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“96”，“doi”：“10.1007\/978-3-030-50086-3_6”，“volume-title”：“分布式对象、组件和系统的形式化技术”，“author”：“TP Gros”，“year”：“2020”，“unstructured”：“Gros，T.P.，Hermanns，H.，Hoffmann，J.，Klauck，M.，Steinmetz，M：深入的统计模型检查。收录：Gotsman，A.，Sokolova，A.（编辑）《2020年堡垒》。LNCS，第12136卷，第96页\u2013114。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-50086-3_6“}，{“key”：“16_CR13”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”155“，“doi”：“10.1007\/978-030-26601-1_11”，“volume-title”：”计算机安全性、可靠性和安全性“，“author”：“L J\u00f6ckel”，“year”：“2019”，“unstructured”：“J\u00f6ckel，L.，Kl\u00e4s，M.：增加对数据驱动模型验证的信任。收录人：Romanovsky，A.、Troubitsyna，E.、Bitsch，F.（编辑）2019年SAFECOMP。LNCS，第11698卷，第155\u2013164页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-26601-1_11“}，{”doi-asserted-by“：”crossref“，”unstructured“：”J\u00f6ckel，L.，Kl\u00e4s，M.，Mart\u00ednez-Fern\u00e1ndez，S.：通过自动车辆软件的数据增强实现安全交通标志识别。在：2019年IEEE第19届软件质量、可靠性和安全伙伴国际会议（QRS-C），第540\u2013541页。IEEE（2019）“，”key“：”16_CR14“，”DOI“：”10.1109\/QRS-C.2019.00114“}，”{“key”：“16_CR15”，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“315”，“DOI”：“10.1007\/978-3030-55583-2_23”，“volume-title”：“计算机安全性、可靠性和安全性。SAFECOMP 2020研讨会”，“author”：“M Kl\u00e4s”，“年份”：“2020年”，“非结构化“：”Kl\u00e4s，M.，J\u00f6ckel，L.：为基于AI\/ML的数据驱动组件构建不确定性包装器的框架。收录：Casimiro，A.、Ortmeier，F.、Schoitch，E.、Bitsch，F.和Ferreira，P.（编辑）SAFECOMP 2020。LNCS，第12235卷，第315\u2013327页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-55583-2_23“}，{“key”：“16_CR16”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“358”，“doi”：“10.1007\/978-30-030-26250-1_29”，“volume-title”：”计算机安全性、可靠性和安全性“，”作者“：”M Kl\u00e4s“，”年份“：”2019“，”非结构化“：”Kl\u00e4s，M.，Sembach，L.：数据驱动模型的不确定性包装器。收录人：Romanovsky，A.、Troubitsyna，E.、Gashi，I.、Schoitch，E.、Bitsch，F.（编辑）2019年SAFECOMP。LNCS，第11699卷，第358\u2013364页。查姆施普林格（2019）。https:\/\/doi.org/10.1007\/978-3-030-26250-1_29“｝，｛“非结构化”：“Lee，K.，Lee，H.，Lee，K.，Shin，J.：训练置信度校准的分类器以检测分布外样本。In：国际学习表征会议（2018）”，“key”：“16_CR17”｝，｛“非结构化”：“Mirman，M.，Gehr，T.，Vechev，M.：可证明鲁棒神经网络的可微抽象解释。参加：机器学习国际会议。PMLR（2018）“，”key“：”16_CR18“}，{”unstructured“：”Mirman，M.，Singh，G.，Vechev，M.：深度剩余网络的可证明防御。arXiv预印本arXiv:1903.12519（2019）“，“key”：“16_CR19”}，”{“doi-asserted-by”：“crossref”，“unstructure”：“”M\u00fcller，M.N.、Makarchuk，G.、Singh，G.，P\u00fcschel，M.、Vechev，M.：PRIMA：通过多神经元凸松弛进行精确和通用的神经网络认证。arXiv预打印arXiv:2103.03638（2021）“，”key“：”16_CR20“，”DOI“：”10.1145\/3498704“}，{”key”：“16_CR21”，”DOI-asserted-by“：”publisher“，”first page“：“1373”，”DOI:“10.1613\/jair.1.12125”，“volume”：”70“，”author“：”CG Northcutt“，”year“：”2021“，”unstructured“：”Northcutt，C.G.，Jiang，L.，Chuang，I.L.：自信学习：估计数据集标签中的不确定性。J.阿蒂夫。智力。研究（JAIR）70，1373 \u20131411（2021）“，“期刊标题”：“J.Artif。智力。Res.（JAIR）“}，{”key“：”16_CR22“，”doi-asserted-by“：”publisher“，”first page“：“109”，“doi”：“10.1016\/j.asoc.2016.12.023”，“volume”：“52”，“author”：“D Oreski”，“year”：“2017”，“unstructured”：“Oreski，D.，Oreskijournal-title“：”申请。软计算。}，{“doi-asserted-by”：“publisher”，“unstructured”：“Paterson，C.，Calinescu，R.，Picardi，C.：深层神经网络分类器中罕见子类的检测和缓解。收录于：2021 IEEE国际人工智能测试会议（AITest），美国加利福尼亚州洛斯阿拉米托斯，pp.9\u201316。IEEE计算机学会，2021年8月。https:\/\/doi.org\/10.109\/AITEST52744.2021.00012。https:\/\/doi.ieecomputersociety.org\/10.109\/AITEST52744.2021.00012“，”key“：”16_CR23“，”doi“：”10.1109\/AITOST527442.021.00011“}，{”issue“：”2“，“key”：“16_CR24”，”doi-asserted-by“：”publisher“，”first page“：“47”，“doi”：“10.3390\/e19020047”，“volume”：”19“，”author“：”A Ramdas“，”year“2017“，”非结构化“：”Ramdas，A.，Trillos，N.G.，Cuturi，M.：关于Wasserstein双样本检验和相关非参数检验家族。Entropy 19（2），47（2017）“，“journal-title”：“Entropy”}，{“doi-asserted-by”：“publisher”，“unstructured”：“Rausch，A.，Sedeh，A.M.，Zhang，M.：基于自动编码器的语义新颖性检测：面向可靠的基于人工智能的系统。Appl.Sci.11（21）（2021）。https:\/\/doi.org\/10.3390\/app11219881”，“key”：“16_CR25”，“doi”：“10.3390\/app11219881}”doi-asserted-by“：”crossref“，”unstructured“：”Ruoss，A.、Baader，M.、Balunovi\u0107，M.和Vechev，M.：空间稳健性的有效认证。arXiv预印本arXiv:2009.09318（2020）“，”key“：”16_CR26“，”DOI“：”10.1609\/aaai.v35i3.16352“}，{”key”：“16_CR27”，“首页”：“108”，“卷”：“1”，“作者”：“I Sharafaldin”，“年份”：“2018”，“非结构化”：“Sharafaldin，I.、Lashkari，A.H.、Ghorbani，A.A.：致力于生成新的入侵检测数据集和入侵流量特征。ICISSp 1，108\u2013116（2018）“，”journal-title“：”ICISSp“}，{”key“：”16_CR28“，”doi-asserted-by“：”publisher“，”first-page“：”1“，”doi“：”10.1145\/3290354“，”volume“：“3”，”author“：”G Singh“，”year“：”2019“，”unstructured“：”Singh，G.，Gehr，T.，P\u00fcschel，M.，Vechev，M.：用于证明神经网络的抽象域。程序。ACM计划。Lang.3，1\u201330（2019）。https:\/\/doi.org\/10.1145\/3290354“，”journal-title“：”Proc。ACM计划。Lang.“}，{”doi-asserted-by“：”publisher“，”unstructured“：”Stallkamp，J.、Schlipsing，M.、Salmen，J.和Igel，C.：人与计算机：交通标志识别的基准机器学习算法。Neural Netw.32，323\u2013332（2012）。https:\/\/doi.org\/10.1016\/J.neunet.2012.02.016。http://www.sciencedirect.com/science\/article\/pii\/S0893608012000457“，”key“：”16_CR29“，”DOI“：”10.1016\/j.neunet.2012.016“}，{“key”：“16_CR30”，”series-title“：”计算机科学中的课堂笔记“，”DOI-asserted-by“：”publisher“，”first page“：“408”，“DOI”：“10.1007\/978-39-89960-2_22”，”volume-title“：“”系统构建和分析的工具和算法”，“作者”：“M Wicker”，“年份”：“2018年”，“非结构化”：“Wicker，M.，Huang，X.，Kwiatkowska，M.：深度神经网络的特征引导黑盒安全测试。作者：Beyer，D.，Huisman，M.（编辑）TACAS 2018。LNCS，第10805卷，第408\u2013426页。查姆施普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-319-89960-2_22“}，{“非结构化”：“Zhao，X.，et al.：通过稳健性评估和操作概要评估深度学习分类器的可靠性。arXiv:2106.01258（2021）”，“key”：“16_CR31”}，“doi-asserted-by”：“crossref”，“非结构化的”：“Zhao，X.，Huang，W.，Schewe，S.，Dong，Y.，Hung，X.：检测操作对手示例以进行可靠的深度学习。arXiv:2104.06015（2021）“，”key“：”16_CR32“，”DOI“：”10.1109\/DSN-S52858.2021.00013“}]，”container-title“：[”计算机科学讲义“，”基于模型的安全与评估“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10.10007\/978-3-031-15842-1_16“，”content-type“：”unspecified“，“content-version”：“vor“，”intended-application“：”similarity-checking“}]，”deposted“：{”date-parts“：[2023,2,18]]，”date-time“：”2023-02-18T11:47:18Z“，”timestamp“：1676720838000}，”score“：1，”resource“：”primary“：”{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15842-1_16”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date”部分“：[[2022]]}，”ISBN“：[”9783031158414“，”978303118421“]，”references-count“：32，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15842-1_16“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“type”：“electronic”，“value”：“1611-3399”}]，“subject”：[]，“published”：{“date-pa”rts“：[[2022]]}，”断言“：[{“value”：“2022年9月9日”，“order”：1，“name”：“first_online，“label”：“first online”，“group”：{“name”：“ChapterHistory”，“label:”Chapter History“}}，{“value”：”IMBSA“，”order“：1，”name“：”conference_acrombit“，”label“：”ConferenceAcronym“，”group“：conference_name“，”label“：”会议名称“，”group“：{”name“：”ConferenceInfo“，”label“：“会议信息”}}，{”value“：”Munich“，”order“：3，”name“:”conference_city“，”标签“：”conferency city“，”group“：group“：{”name“：”ConferenceInfo“，”label“：”Meeting Information“}}，{”value“：”2022“，”order“：5，”name“:”Conference_year“，”标签“：”会议年份“，”group“:信息“，”label“：”Conference Information“}}，{“value”：“2022年9月7日”，“order”：8，“name”：“Conference_end_date”，“label”：“ConferenceEnd date”，“group”：{“name”:“ConferenceInformation”，“标签”：“会议信息”}}“”value“：”imbsa2022“，”order“：10，”name“：”conference_id“，”label“：”会议id“，”group“：，{“值”：“Single-blind“，”order“：1，”name“：”type“，”label“：”type“，”group“：同行评审信息（由会议组织者提供）“}}，{“value”：“27”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息”（由会议主办方提供）number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同侪审查信息（由会议组织者提供）“}}，{”value“：”3“，”order“：5”，“name”：“number_ of_short_papers_Accepteded”，“label”：“接受的短文数”，“group”：{“name”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”56%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_Full_Papers“，”标签“：”全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”3“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）”}}external_reviewers_involved“，”label“：”涉及外部审阅者“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审阅信息（由会议组织者提供）“}}]}}