｛“状态”：“确定”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2023,11,23]]，“日期-时间”：“2023-11-23T00:55:58Z”，“时间戳”：1700700958656｝，“引用计数”：36，“发布者”：“开放发布协会”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[“Electron.Proc.Theor.Compute.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.395.11”，“type”：“journal-article”，“created”：{“date-parts”：[2023,11,15]]，“date-time”：“2023-11-15T14:21:05Z”，“timestamp”：1700058065000}，“page”：：[“Towards Formal Fault Injection for Safety Assessment of Automated Systems”]，“前缀”：“10.4204”，“卷”：“395”，“作者”：[{“给定”：“Ashfaq”，“家族”：“Farooqui”，“sequence”：“first”，“affiliation”：[}“name”：“Reliable Transport Systems，RISE Research Institutes of Sweden，Bor\u00e5s，Sweden”}]}，{“given”：“Behrooz”，“family”：“Sangchoolie”，“serquence”：“additional”，“affiliation”：[{“name”：“Reliable Transport Systems，RISE Research Institutes of Sweden，Bor\u00e5s，Sweden”}]}]，“member”：“2720”，“published-online”：{“date-parts”：[[2023,11,15]}，“reference”：[}“key”：“Aerts_Mousavi_Reniers_2015”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-25150-9_32”，“article-title”：“基于模型的网络物理系统测试工具原型”，“volume-title“：“计算的理论方面-ICTAC 2015”，“author”：“Aerts”，“year”：“2015”}，{“key”：“Alvarez_Lopez_Microscopic_Traffic_Simulation”，“doi-asserted-by”：“publisher”，“article-tiple”：“使用SUMO进行微观流量模拟”，“author”：“Alvarez-Lopez”，“DOI”：“10.1109\/ITSC.2018.8569938”}，{“issue”：“2”，“key”：“Angluin1987”，“DOI-asserted-by”：“publisher”，“first page”：”87“，“DOI:”10.1016\/0890-5401（87）90052-6“，“article-title”：“Learning regular set from queries and counterexamples”，“volume”:“75”，“author”:“Angliun”，“year”：“1987”，“journal-title”：“信息与计算”}，{“issue”：“1”，“key”：“avizienis2004”，“doi-asserted-by”：“publisher”，“first-pages”：“11”，“doi”：“10.1109\/TDSC.2004.2”，“article-title“：“可靠与安全计算的基本概念和分类”，“volume”：：“IEEE可靠和安全计算事务”}，{“key”：“Bessayah_Cavalli_Martins_2009”，“series-title”：“ICIS\u201909”，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1655925.1656086“，”article-title“：”错误注入过程规范和验证的正式方法“，”volume-title：“第二届交互科学国际会议论文集：信息技术、文化与人类”，“作者”：“Bessayah”，“年份”：“2009”}，{“关键词”：“Bozzano_Cimatti_Mattari_Tonetta_2014”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，”doi“10.1007\/978-319-11936-6_7”，“article-title”：“通过基于合同的设计进行正式安全评估”，“卷-时间”：“验证和分析的自动化技术”，“作者”：“Bozzano”，“年份”：“2014”}，{“问题”：“2”，“密钥”：“cassel2016active”，“doi-asserted-by”：“publisher”，“首页”：“233”，“doi”：“10.1007\/s00165-016-0355-5”，“文章-时间”，“扩展有限状态机的主动学习”，“volume”：“28”，“author”：“Cassel”，“year”：“2016”，“journal-title”：“Formal Aspects of Computing”}，{“issue”：“7”，“key”：”Cukier_Powell_Ariat_1999“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/12.780878“，”articl-title“：”分层断层注入的覆盖率估算方法“，”volume“：”48“，”author“：”Cukier“，”year“：”1999“，“jornal-tittle”：“IEEE计算机学报”}，{“key”：“Donze_2010”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3642-14295-6_17“，”article-title“：”Breach，混合系统验证和参数合成工具箱“，”volume-title：“计算机辅助验证”，“author”：“Donz\u00e9”，“year”：“2010”}，{“key”：“Dreossi_Fremont_Ghosh_Kim_Ravanbakhsh_Vazquez-Chanlatte_Seshia_2019”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3030-25540-4_25”，“volume-title”：”VerifAI:基于人工智能系统的形式化设计和分析工具包“，”卷“：”11561“，”作者“Dreosi”，“year”：“2019”}，{“key”：“Farooqui_2021”，“volume-title”：“On supervisor synthesis via active automata learning”，“author”：“Farooqui”，“year:”2021“}，}“key:”mides“，”doi-asserted-by“：”publisher“，“first page”：”792“，”doi“10.1109\/CASE49439.2021.9551435”，“article-title“mides:A Tool for Suppervisor synthesis by via active learning”：“2021 IEEE第17届国际自动化科学与工程会议（CASE）”，“author”：“Farooqui”，“year”：“2021}，{“key”：“Fremont_Kim_Dreosi_Ghosh_Yue_Sangiovanni-Vincentelli_Seshia_2020”，”doi-asserted-by“：”publisher“，”article-title“：场景规范和数据生成语言”，“author”:“Fremont”，“年份”：“2020”，“doi”：“10.48550\/arXiv.2010.06580”}，{“issue”：“5”，“key”：“Graessler_Huntze_2020”，“doi-asserted-by”：“publisher”，”doi“：”10.1515\/auto-2020-0015“，”article-title“：”VDI 2206的新V模型及其验证“，”volume“：”68“，”author“：”Graessler“，”year“：”2020 jicostis_Lafortune_Lin_Su_2022“，“doi断言者”：“publisher”，“doi”：“10.1109\/CDC51059.2022.9992966”，“文章标题”：“网络安全和监督控制：鲁棒状态估计、攻击综合和弹性控制教程”，“卷标题”：“2022 IEEE第61届决策与控制会议（CDC）”，“作者”：“Hadjicostis”，“年份”：“2022”}，{“问题”：“10”，“密钥”：“Hoare_1969”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/363235.363259”，“article-title”：“计算机编程的公理基础”，“volume”：“12”，“author”：“Hoare”，”year“：“1969”}，{“key”：”isberner2015open“，”doi-assert-by“：”publisher“，“first-page”：“487”，“doi”：”10.1007\/978-319-21690-4_32“，”article-title“：“The open-source LearnLib:A Framework for Active Automata Learning”，“volume-title”：“International Conference on Computer Aided Verification”，“author”：“Isberner”，“year”：“2015”}，{“key”：“Jha_Banerjee_Tsai_Hari_Sullivan_Kalbarczyk_Keckler_Iyer_2019”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DSN.2019.00025”，“article-title“：“自动车辆基于ML的故障注入：贝叶斯故障注入案例”，“卷时间”：“2019 IEEE第49届年度可靠系统和网络国际会议”，“作者”：“Jha”，“年份”：“199”}，{“关键”：“骑士挑战利用形式1998b”，“系列时间”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“1”，“DOI”：“10.1007\/BFb0055331”，“article-title”：“形式方法使用中的挑战”，“volume-title“：“实时容错系统中的形式技术”，“author”：“Knight”，“year”：“1998”}，{“key”：，“volume-title”：“第四届NASA正式方法研讨会”，“author”：“Knight”，“year”：“1997”}，{“issue”：“1”，“key”：“koopman2017autonomous”，“doi-asserted-by”：“publisher”，“first page”：”90“，“doi”：“10.1109\/MITS.2016.2583491”，“article-title“：”自主车辆安全：跨学科挑战“，”volume“：”9“authors”：“Koopman”，“年份”：“2017”，“新闻标题”：“IEEE Intelligent Transportation Systems Magazine”}，{“key”：“Li_Li_Jha_Tsai_Sullivan_Hari_Kalbarczyk_Iyer_2020”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/ISSRE5003.2020.00012“，”article-title“：”AV-FUZZZER:查找自动驾驶系统中的安全违规行为“，”volume-title：“2020 IEEE第31届软件可靠性工程国际研讨会（ISSRE）”，“作者”：“李”，“年份”：“2020”}，{“密钥”：“Maleki2021”，“doi-asserted-by”：“出版商”，“首页”：“45”，“doi”：“10.1109\/EDC53658.2021.00014”，“文章标题”：“SUFI:一种基于仿真的故障注入工具，用于SUMO中建模的高级驾驶员辅助系统的安全评估”，“volume-title”：“2021年第17届欧洲可靠计算会议（EDCC）”，“author”：“Maleki”，“year”：“2020”}，{“key”：“meinke2013lbtest”，“doi-asserted-by”：“publisher”，“first page”：”：“447”，“doi”：“10.1109\/ICST.2013.62”，“article-title”：“LBTest:一种基于学习的反应系统测试工具”，“volume-title“：“2013 IEEE第六届软件测试、验证和确认国际会议”，“author”：“Meinke”，“year”：“2013”}，{“key”：“Maira-Goes_Kang_Kwong_Lafortune_2020”，“doi-asserted-by”：“publisher”，”doi“10.1016\/j.automatica.2020.109172”，“article-title”：“Cyber\u2013Physical Systems监控层传感器欺骗攻击的合成”，“volume”：“121”，“author”：“Meira-Goes”，“year”：“2020”，“journal-title“：”Automatica“}，{“key”：”Moradi_Oakes_Denil“，”article-title“:”机器学习辅助故障注入“，”author“：”Moraddi“}：“Moradi_Oakes_Saraoglu_Morozov_Janschek_Denil_2020”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/DSN-W50199.2020.00028“，”article-tile“：”使用基于强化学习的故障注入探索故障参数空间“，”volume-title“：”2020年IEEE第50届国际可靠系统和网络研讨会（DSN-W）“，“author”：“Moradi”，“year”：“2020”}，{“key”：“ORTMEIER2007139”，“doi-asserted-by”：“publisher”，“first page”：”139“，“doi”：“10.1016\/j.entcs.2007.05.034”，“article-title”：“Formal Fault Tree Analysis-Practical Experiences”，“volume”：键“：“Reifer_2002”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/MS.2002.1020280“，”article-title“：”敏捷方法有多好？“，”volume“：”19“，”author“：”Reifer“，”year“：”2002“，”journal title“：“IEEE Software”}，{“key”：“Rovce”，“article-title”：“管理大型软件系统的开发”，”au作者“：”Rovce“}，”{“issue”：“3”，“key“：“桑切利2022”，“doi断言者”：“出版者”，“第一页”：“1988”，“doi”：“10.1109\/TDSC.2020.3043023”，“文章标题”：“程序中单个和多个位翻转错误影响的实证研究”，“卷”：“19”，“作者”：“Sangchoolie”，“年”：“2022”，“期刊标题”：“IEEE可靠和安全计算交易”}，{“密钥”：“Sedaghatba2022”，“doi-asserted-by”：“publisher”，“first page”：“57”，“doi”：“10.1109\/EDCC57035.2022.00020”，“article-title”：“DELFASE:断层空间探索的深度学习方法”，“volume-title“：”2022第18届欧洲可靠计算会议（EDCC）“，“author”：“Sedaghatbaf”，“year”：“2022”}，{“key”：”Selvaraj_Fei_Fabian_2020“，”series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-55583-2_1”，《article-title》：“系统安全分析中的监督控制理论”，“volume-title”：“计算机安全性、可靠性和安全性。SAFECOMP 2020 Workshops”，“author”：“Selvaraj”，“year”：“2020”}，{“key”：“Su_2018”，“doi-asserted-by”:“publishers”，“DEI”：“10.1016\/j.automatia.2018.04.006”，“article-title”：“监督员合成以阻止传感器有界读取更改的网络攻击”，“卷”：“94”，“作者”：“苏”，“年份”：“2018”，“日志标题”：“automatica”}，{“问题”：“4”，“密钥”：“Woodcock_Larsen_Bicarregui_Fitzgerald_2009”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1592434.1592436”，“article-title”：“正式方法：实践与经验”，“卷”：“41”，“作者”：“伍德考克”，“年份”：“2009”，“期刊标题”：“ACM计算调查”}，{“问题”：“10”，“关键”：“fengSstar”，“doi-asserted-by”：“出版商”，“首页”：“3345”，“doi”：“10.1109 \/TAC.2018.2793662”，“artice-title“：“离散事件系统最高无阻塞监督员的基于学习的综合方法”，“卷”：“63”，“作者”：“张”，“年份”：“2018”，“日志标题”：“IEEE自动控制事务”}]，“容器标题”：[“理论计算机科学电子论文集”]，“原始标题”：[]，“语言”：“en”，“存放”：{“日期部分”：[2023,11,22]]，“日期时间”：“2023-11-22T10:14:17Z”，“时间戳”：1700648057000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/arxiv.org\/abs\/2311.09810v1”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2023,11,15]}，‘引用计数’：36，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs.395.11“，”关系“：{}，”ISSN“：[”2075-2180“]，”ISSN-type“：[{“值”：“2075-2180”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[2023,11,15]]}}