｛“id”：“https://openalex.org/W3091405037“，”doi“：”https://doi.org/10.109/tcad.2020.3012251“，”title“：”Black-Box连续时间动态系统的PAC模型检查“，”display_name“：”黑箱连续时间动态体系的PAC建模检查“，“publication_year”：2020，“publiction_date”：“2020-11-01”，“ids”：{“openalex”：“https://openalex.org/W3091405037“，”doi“：”https://doi.org/10.109/tcad.2020.3012251“，”mag“：”3091405037“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/tcad.2020.3012251“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S100835903“，”display_name“：”集成电路和系统计算机辅助设计IEEE事务“，”issn_l“：”0278-0070“，”isn“：[”0278.0070“，“1937-4151”]“is_oa”：false，“is_in_doaj”：false，“host_organization”：“https://openalex.org/P4310318808“，”“host_organization_name”：“电气与电子工程师学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”电气与电子工程师协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：nully，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：true，”“oa_status”：“green”，“oa_url”：“”https://arxiv.org/pdf/2007.10141“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5089413793“，”display_name“：”薛白“，”兽人“：”https://orcid.org/0000-0001-9717-846X}，“机构”：[{“id”：https://openalex.org/I4210128818“，”display_name“：”软件学会“，”ror“：”https://ror.org/033dfsn42“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I19820366","https://openalex.org/I4210128818“]}，{”id“：”https://openalex.org/I4210165038“，”display_name“：”中科院大学“，”ror“：”https://ror.org/05qbk4x57“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I19820366","https://openalex.org/I4210165038“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Bai Xue“，”rau_affiliation_strings“：【”中国科学院北京大学计算机科学与技术学院“，”中科院软件研究所计算机科学国家重点实验室“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5024917626“，”display_name“：”Miaomiao Zhang“，”orcid“：”https://orcid.org/0000-0003-0457-3335}，“机构”：[{“id”：https://openalex.org/I116953780“，”display_name“：”同济大学“，”ror“：”https://ror.org/03rc6as71“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I116953780“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Miaomiao Zhang“，”raw _ afiliation_strings“：[“中国上海同济大学软件工程学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5054946593“，”display_name“：”Arvind Easwaran“，”orcid“：”https://orcid.org/0000-0002-9628-3847}，“机构”：[{“id”：https://openalex.org/I172675005“，”display_name“：”南洋理工大学“，”ror“：”https://ror.org/02e7b5302“，”country_code“：”SG“，”type“：“教育”，”世系“：[”https://openalex.org/I172675005“]}]，”国家“：[”SG“]，”is_corresponding“：false，”raw_author_name“：”Arvind Easwaran“，”raw关联字符串“：[“新加坡南洋理工大学计算机科学与工程学院”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5012331097“，”display_name“：”秦丽“，”兽人“：”https://orcid.org/0000-0001-6947-8684}，“机构”：[{“id”：https://openalex.org/I4210139618“，”display_name“：”上海市可信计算重点实验室“，”ror“：”https://ror.org/030qbr085“，”“country_code”“：”CN“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210139618“]}，{”id“：”https://openalex.org/I66867065“，”display_name“：”华东师范大学“，”ror“：”https://ror.org/02n96ep67“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I66867065“]｝]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Qin Li“，”raw_affiation_strings“：[”华东师范大学上海可信计算重点实验室，中国上海“]｝]，”国家_地区_计数“：2，”机构_区分_计数“：6，”对应_授权人“：[]，”对应_机构_ ID“：[]，”apc_list“：null，”apc_payed“：null，”has_fulltext“：false，”cited_by_count“：9，”cited_by_percentle_year“：｛”min“：88，”max“：89｝，”biblio“：｛”volume“：”39“，”issue“：”11“，”first_page“：”3944“，”last_page“：”3955“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9896，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”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.988，”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/model-checking“，”display_name“：”模型检查“，”score“：0.628021}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.51091}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.509654｝]，”concepts“：[｛”id“：”https://openalex.org/C94966114，“wikidata”：https://www.wikidata.org/wiki/Q29256“，”display_name“：”黑盒“，”level“：2，”score“：0.7743202}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.7383578}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.6550307}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6471406}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.64125913}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6099417}，{”id“：”https://openalex.org/C2778067643，“wikidata”：https://www.wikidata.org/wiki/Q166507“，”display_name“：”区间（图论）“，”level“：2，”score“：0.58379596}，{”id“：”https://openalex.org/C79379906，“wikidata”：https://www.wikidata.org/wiki/Q3174497“，”display_name“：”动力系统理论“，”level“：2，”score“：0.5195147}，{”id“：”https://openalex.org/C33962884，“wikidata”：https://www.wikidata.org/wiki/Q378637“，”display_name“：”动态系统（定义）“，”level“：3，”score“：0.44301298}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.43635204}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40022707}，{”id“：”https://openalex.org/C28826006，“wikidata”：https://www.wikidata.org/wiki/Q33521“，”display_name“：”应用数学“，”level“：1，”score“：0.32766283}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.28335673}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.11458102}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/tcad.2020.3012251“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S100835903“，”display_name“：”集成电路和系统计算机辅助设计IEEE事务“，”issn_l“：”0278-0070“，”isn“：[”0278.0070“，“1937-4151”]“is_oa”：false，“is_in_doaj”：false，“host_organization”：“https://openalex.org/P4310318808“，”“host_organization_name”：“电气与电子工程师学会”，“host_ordanization_lineage”：[“https://openalex.org/P4310318808“]，”host_organization_lineage_names“：[”电气与电子工程师协会“]，“type”：“journal”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2007.10141，“pdf_url”：https://arxiv.org/pdf/2007.10141，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2007.10141，“pdf_url”：https://arxiv.org/pdf/2007.10141，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.44}]，”grants“：[{”funder“：”https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“61872341”}，{“funder”：“https://openalex.org/F4320321001“，”funder_display_name“：”国家自然科学基金“，”award_id“：”61972284“｝，｛”funder“：”https://openalex.org/F4320321001“，”“funder_display_name”：“国家自然科学基金”，“award_id”：“61836005”}，{“funder”：“https://openalex.org/F432032133“，”funder_display_name“：”中国科学院“，”award_id“：”Y8YC235015“｝]，”数据集“：[]，”版本“：[]，”referenced_works_count“：47，”referenced_works“：[”https://openalex.org/W1482663303","https://openalex.org/W1489725951","https://openalex.org/W1499399028","https://openalex.org/W1520566118","https://openalex.org/W1556387789","https://openalex.org/W1560643704","https://openalex.org/W1569248486","https://openalex.org/W1582828056","https://openalex.org/W172589331","https://openalex.org/W175120007","https://openalex.org/W1783413852","https://openalex.org/W1850679117网址","https://openalex.org/W2080593426","https://openalex.org/W2100914165","https://openalex.org/W2114158268","https://openalex.org/W2114404258","https://openalex.org/W2120316874","https://openalex.org/W2149713648","https://openalex.org/W2166423024","https://openalex.org/W2167412190","https://openalex.org/W2168798915","https://openalex.org/W2169239645","https://openalex.org/W2179730552","https://openalex.org/W2185071254","https://openalex.org/W2231500087","https://openalex.org/W2406438973","https://openalex.org/W2410243683","https://openalex.org/W2528491735","https://openalex.org/W2590655739","https://openalex.org/W2777392906","https://openalex.org/W2943876157","https://openalex.org/W2946466316","https://openalex.org/W2963778636","https://openalex.org/W2964162272","https://openalex.org/W2982370260","https://openalex.org/W2982474080","https://openalex.org/W2995252836","https://openalex.org/W3009072669","https://openalex.org/W3014091268","https://openalex.org/W3105078582","https://openalex.org/W3106539157","https://openalex.org/W349923146","https://openalex.org/W4230704549","https://openalex.org/W4236362309","https://openalex.org/W4250913065","https://openalex.org/W618708471","https://openalex.org/W622938260网址“]，”related_works“：[”https://openalex.org/W4388681848","https://openalex.org/W4250831671","https://openalex.org/W2945666329","https://openalex.org/W2884574904","https://openalex.org/W2617651062","https://openalex.org/W2377513064","https://openalex.org/W2330535098","https://openalex.org/W2230606337","https://openalex.org/W2089869689","https://openalex.org/W2078952919“]，”ngrams_url“：”https://api.openalex.org/works/W3091405037/ngrams网站“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1]，“article”：[2]，“we”：[3]，“present”：[4]，“a”：[5,49,60128167]，“novel”：[6]，“model”：[7,38,65,73126152]，“checking”：[8,66,74]，“approach”：/9,67102]，“to”：[10,76132166]，“finite-time”：[11,50117]，“safety”：[12148]，“verification”：[13]，“of”：[14,22,79111123137146176]，“black-box”：[15,29113139]，“连续时间“：[16]，“动态”：[17,30114]，“系统”：[18,31]，“内部”：[19,48120]，“the”：[20,33,71,77,87,95108112121124135144155174]，“framework”：[21]，“可能”：[23]，“近似”：[24]，“correct”：[25]，“（PAC）”：[26]，”学习。“：[27]，”“The”：[28,63150]，“are”：[32]，“ones”，“：[34]，“for”：[35,59]，“which”：[36163]，“no”：[37]，“is”：[39,68158]，“given”：[40,61]，“but”：【41】，“wheres”：【42】，“states”：【43】，“changing”：【44】，“continuous”：[45]，“through”：【46】，“time”：47】，“interval”：〔51157]，“can”“：[52]，”be“：[53]，”observed“：[54]，”at“：[55]，”some“：[56]，”discrete-time“：[57]，”instants“：[58]，”input。“：[62]，”新“：[64]，”术语“：[69]，”作为“：[70]，”PAC“：[72]，”到期“：[75]，”合并“：[78]，”学习“：[80125151]，”模型“：[81]，”with“：[82154]，”正确性“：[83]，”保证“：[84106]，”expressed“：[85]，”using“：[86]，”terms“：[88]，”错误“：[89,96]，”概率“：[90,97]，”和“：[91]，98141]，“信心。“：[92]，“基于”：[93]，“关于”：[94134143]，“置信度”：[99]，“级别”：[100]，“我们的”：[101177]，“提供”：[103]，“统计”：[104]，“形式”：[105]，“that”：[107]，“时间演变”：[109]，“轨迹”：[110]，“系统”：[115140]，“超过”：[116]，“地平线”：[118]，“下降”：[119]，“范围”：[122]，“加”：[127]，“有界”：[129156]，“区间”，：[130]，“贡献”：[131]，“insights“：[133]，“可达性”：[136]，“因此”：[142]，“可满足性”：%145]，“its”：[147]，“需求。“：[149]，”together“：[153]，”gethered“：[159]，”by“：[160]，”scenario“：[161]，”optimization“，”：[162]，”boils“：[164]，”down“：[165]，”linear“：[168]，”programming“：[169]，”问题。“：[170]，”三“：[171]，”示例“：[172]，”演示“：[173]，”性能“：[175]，”方法。“：[178]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3091405037“，”counts_by_year“：[{“年”：2024，”cited_by_count“：1}，{“年份”：2023，”ciped_by_cunt“：2}，”{“年度”：2022，“cited_by_count”：3}，“年份”:2021，”cited_by_count