{“id”：“https://openalex.org/W4247645579“，”doi“：”https://doi.org/10.1145/3460082“，”title“：“识别自动驾驶汽车软件中违反情景相关驾驶规则的系统框架”，“display_name”：“识别自主驾驶汽车软件违反情景相关行驶规则的系统架构”，“publication_year”：2021，“publiation_date”：“2021-06-01”，“ids”：{“openalex”：“https://openalex.org/W4247645579“，”doi“：”https://doi.org/10.1145/3460082“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3460082“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210193547“，”display_name“：”ACM关于计算系统测量和分析的会议记录“，”issn_l“：”2476-1249“，”isn“：[”2476-249“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”host_organization_name“：”计算机协会“，”host_organization_lineage“：[”https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jounal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：false，“oa_status”：“closed”，“oa_url”：nul”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5065900832“，”display_name“：”清照张“，”兽人“：”https://orcid.org/0000-0003-2598-5988}，“机构”：[{“id”：https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Qingzhao Zhang“，”raw _ afiliation_strings“：[“密歇根大学，密歇根州安娜堡”]，”affiliations“：[{”raw _affiliation_string“：”密歇根州立大学，密西西比州安娜堡”，“institution_ids”：[”https://openalex.org/I27837315“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5063636172“，”display_name“：”David Hong“，”orcid“：”https://orcid.org/0000-0003-4698-4175}，“机构”：[{“id”：https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”David Ke Hong“，”raw _ afiliation_strings“：[“密歇根大学，密歇根州安娜堡”]，”affiliations“：[{”raw_ afiliation _string“：”密歇根州立大学，密西西比州安娜布尔”，“institution_ids”：[”https://openalex.org/I27837315“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5038339911“，”display_name“：”Ze Zhang“，”orcid“：”https://orcid.org/0000-0002-1739-9033}，“机构”：[{“id”：https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Ze Zhang“，”raw _affiliation_strings“：[“密歇根大学，密歇根州安娜堡”]，”affiliations“：[{”raw _affiliation_string“：”密歇根州立大学，密西根州安纳堡”，“institution_ids”：[”https://openalex.org/I27837315“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5063270515“，”display_name“：”齐·阿尔弗雷德·陈“，”兽人“：”https://orcid.org/0000-0003-0316-9285}，“机构”：[{“id”：https://openalex.org/I204250578“，”display_name“：”加州大学欧文分校“，”ror“：”https://ror.org/04gyf1771“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I204250578“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Qi Alfred Chen“，”raw _ afiliation_strings“：[“加州大学欧文分校，加州欧文分校https://openalex.org/I204250578“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5002075773“，”display_name“：”Scott Mahlke“，”orcid“：”https://orcid.org/0000-0002-0438-0616}，“机构”：[{“id”：https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Scott Mahlke“，”raw _ afiliation_strings“：[“密歇根大学，密歇根州安阿伯市”]，”affiliations“：[{”raw_ afiliation _string“：”密歇根州立大学，密西西比州安阿伯尔市”，“institution_ids”：[“https://openalex.org/I27837315“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5003217329“，”display_name“：”Z.Morley Mao“，”orcid“：”https://orcid.org/0000-0002-9844-2055}，“机构”：[{“id”：https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Z.Morley Mao“，”raw _ afiliation_strings“：[“密歇根大学，密歇根州安娜堡”]，”affiliations“：[{”raw _affiliation_strong“：”密歇根州立大学，密西根州安纳堡”，“institution_ids”：[”https://openalex.org/I27837315“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payd“：null、”fwci“：0.723、“has_fulltext”：false，”cited_by_count：6，“cited_by_percentile_year”：{“min”：84，”max“：86}，”biblio“：{”volume“：”5“，”问题“：”2“，”first_page“：”1“，”last_page“：”25“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11099“，”display_name“：”自动车辆技术和安全系统“，”score“：0.9987，”subfield“：{”id“：”https://openalex.org/subfields/2203“，”display_name“：”汽车工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11099“，”display_name“：”自动车辆技术和安全系统“，”score“：0.9987，”subfield“：{”id“：”https://openalex.org/subfields/2203“，”display_name“：”汽车工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9969，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9929，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/driver-assistance-systems网站“，”display_name“：”驾驶员辅助系统“，”score“：0.551715}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.512813}，{”id“：”https://openalex.org/keywords/collision避免“，”display_name“：”避免碰撞“，”score“：0.509234}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.71058667}，{”id“：”https://openalex.org/C51929080，“wikidata”：https://www.wikidata.org/wiki/Q2425187“，”display_name“：”Codebase“，”level“：3，”score“：0.56795394}，{”id“：”https://openalex.org/C64543145，“wikidata”：https://www.wikidata.org/wiki/Q162942“，”display_name“：”十字路口（航空）“，”level“：2，”score“：0.5512977}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.5300094}，{”id“：”https://openalex.org/C121193887，“wikidata”：https://www.wikidata.org/wiki/Q7431117“，”display_name“：”架构人行横道“，”level“：3，”score“：0.45134586}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.42933285}，{”id“：”https://openalex.org/C105339364，“wikidata”：https://www.wikidata.org/wiki/Q2297740“，”display_name“：”软件部署“，”级别“：2，”分数“：0.4267739}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.27203077}，{”id“：”https://openalex.org/C127413603，“wikidata”：https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.19227782}，{”id“：”https://openalex.org/C22212356，“wikidata”：https://www.wikidata.org/wiki/Q775325“，”display_name“：”运输工程“，”level“：1，”score“：0.18325707}，{”id“：”https://openalex.org/C2777113093，“wikidata”：https://www.wikidata.org/wiki/Q221488“，”display_name“：”Pedestrian“，”level“：2，”score“：0.10964796}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3460082“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210193547“，”display_name“：”ACM关于计算系统测量和分析的会议记录“，”issn_l“：”2476-1249“，”isn“：[”2476-249“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P431031798“，”host_organization_name“：”计算机协会“，”host_organization_lineage“：[”https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grant”：[{“funder”：“https://openalex.org/F4320306076“，”“funder_display_name”：“国家科学基金会”，“award_id”：“CNS-1930041，CNS-1544678，CNS-1850533，CNS-1929771”}，{“funder”：“https://openalex.org/F4320337345“，”“funder_display_name”：“海军研究办公室”，“award_id”：“N00014-18-1-2020”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：35，“referrenced_works”：[”https://openalex.org/W1480909796","https://openalex.org/W1506481780","https://openalex.org/W2061469207","https://openalex.org/W2090312383","https://openalex.org/W2106993639","https://openalex.org/W2168272209","https://openalex.org/W2297774820","https://openalex.org/W2328067583","https://openalex.org/W2406067508","https://openalex.org/W2488996366","https://openalex.org/W2507826579","https://openalex.org/W2529927010","https://openalex.org/W2550010907","https://openalex.org/W2576845151","https://openalex.org/W2594877703","https://openalex.org/W2740234467","https://openalex.org/W2758107681","https://openalex.org/W2773676607","https://openalex.org/W2792493146","https://openalex.org/W2883599316","https://openalex.org/W2888307014","https://openalex.org/W2891056855","https://openalex.org/W2895177776","https://openalex.org/W2912416028","https://openalex.org/W2963327228","https://openalex.org/W2963898834","https://openalex.org/W2970900401","https://openalex.org/W2999862950","https://openalex.org/W3033160188","https://openalex.org/W3141181691","https://openalex.org/W4229653602","https://openalex.org/W4239271091","https://openalex.org/W4246166885","https://openalex.org/W4246328121","https://openalex.org/W72918221“]，”related_works“：[”https://openalex.org/W4292121402","https://openalex.org/W3205579266","https://openalex.org/W3048841968","https://openalex.org/W3013578941","https://openalex.org/W2809634635","https://openalex.org/W2558944328","https://openalex.org/W2357606590","https://openalex.org/W2303498155","https://openalex.org/W1964467305","https://openalex.org/W1907942343“]，”ngrams_url“：”https://api.openalex.org/works/W4247645579/ngrams网站“，”“abstract_inverted_index”：{“安全性”：[0]，“符合性”：[1]，“是”：[2,29,88]，“首要”：[3]，“到”：[4,35146175220]，“技术”：[5,74,81126153181216]，“安全”：[6]，”“部署”：[7]，“的”：[8113129155201215223]，“自治”：[9]，“车辆”：[10]，“（AV）”：[11]，“科技”：[12]，“在”：[13117135]，“真实世界中“：[14203]，”运输“：[15]，”系统“：[16]，”如“：[17]，“AVs”：[18,34]，“will”：[19]，“share”：[20]，“road”：[21,48]，“infrastructures”：[22]，“with”：[23226]，“human”：[24]，“drivers”：[25]，“and”：[26,47,59,67104132139170194212]，“penders”，“it”：[28]，“an”：[30]，“important”：[3]1]，“requirement”：[32]，“for”：[33,90110165]，“服从”：[36]，“标准”：[37]，“驾驶”：[38,63,76,93115133148167204]，“规则。“：[39]，“现有”：[40]，“AV”：[41,97118130182189]，“软件”：[42119131183190]，“测试”：[43,86]，“方法”：[44]，“包括”：[45,65]，“模拟”：[46]，“检测”：[49]，“仅”：[50]，“检查”：[51]，“基本”：[52]，“安全”：[53,60]，“规则”：[54,94116134205]，“例如”：[55]，“如”：[56]，“碰撞”：[57225]，“避免”：[58]，“距离”。“：[61]，”场景相关“：[62]，”规则“：[64,69]，”人行横道“：[66]，”十字路口“：[68]，”是“：[70]，”更多“：[71]，”复杂“：[72]，”因为“：[73]，”预期“：[75]，”行为“：[77]，”严重“：[78]，”依赖“：[79]，”on“：[80,95186]，”周围“：[82]，”环境。“：[83]，”然而，“：[84]，”a“：[85106161224]，”framework“：[87108]，”missing“：[89]，”checking“：[91]，”scenario-dependent“：[92114]，”variable“：[96]，”software。“：[98]，“In”：[99]，“this”：[100]，“paper”，：[101]，“we”：[102]，“design”：/103]，“implement”：[105]，“systemal”：[107156]，“AVChecker”：[109123159]，“identify”：[111]，“contracties”：[112199217]，“using”：[120]，“formal”：%12137]，“methods”。“：[122]，”表示“：[124]，”两者“：[125]，”代码“：[127173178]，”逻辑“：[128179]，”建议“：[136]，”规范“：[138169]，”杠杆“：[140]，”可满足性“：[141]，”模数“：[142]，”理论“：[143]，”（SMT）“：[144]，”求解器“：[145]，”标识“：[147]，”规则“：[149168]，”违规。“：[150]，“To”：[151]，“improve”：[152]，“automation”：[154]，“rule-based”：[157]，“checking”：[158]，“provides”：[160]，“powerful”：[162]，“user”：%163]，“interface”：[164]，“writing”：[166]，“applies”：171]，“static”：[172]，“analysis”：[174]，“extract”：[176]，“与规则相关的”：[177]，“from”：[180]，“codebase”。“：[184]，“评估”：[185]，“两个”：[187]，“开源”：[188]，“平台”：[191]，“百度”：[192]，“阿波罗”：[193]，“汽车软件”：[195]，“揭开”：[196]，“19”：[197]，“真实”：[198]，“外出”：[2000]，“28”：[202]，“覆盖”：[206]，“人行横道”：[207]，“交通”：[208]，“灯光”：[209]，“停车”：[210]，“标志”：[211]，“十字路口。“：[213]，”七“：[214]，”可以“：[218]，”引导“：[219]，”严重“：[221]，”风险“：[222]，”行人“：[227]，”或“：[228]，”阻塞“：[229]，”交通。“：[230]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4247645579“，”counts_by_year“：[{”年份“：2024，”cited_by_count“：1}，{”年“：2023，”ciped_by_cunt“：4}，”{“年份”：2022，“cited_by_count”：1}]，”更新日期“：”2024-06-25T13:11:27.565983“，”创建日期“：“2022-05-12”}