{“id”：“https://openalex.org/W3021850381“，”doi“：”https://doi.org/10.1145/3365365.3382222“，”title“：“使用神经网络合成障碍证书”，”display_name“：”使用神经网络综合障碍证书“，”publication_year“：2020，”publitation_date“：”2020-04-22“，”ids“：{”openalex“：”https://openalex.org/W3021850381“，”doi“：”https://doi.org/10.1145/3365365.3382222“，”mag“：”3021850381“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3365365.3382222“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5067460211“，”display_name“：”Haifeng Zhao“，”orcid“：”https://orcid.org/0000-0002-7306-3024}，“机构”：[{“id”：https://openalex.org/I142108993“，”display_name“：”西南大学“，”ror“：”https://ror.org/01kj4z117“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I142108993“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Hengjun Zhao“，”raw _affiliation_strings“：【”中国重庆西南大学“]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5079927285“，”display_name“：”夏曾“，”orcid“：”https://orcid.org/0000-0003-2575-7045}，“机构”：[{“id”：https://openalex.org/I142108993“，”display_name“：”西南大学“，”ror“：”https://ror.org/01kj4z117“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I142108993“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”夏曾“，”raw _ afiliation_strings“：[“中国重庆西南大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5030747944“，”display_name“：”Taolue Chen“，”orcid“：”https://orcid.org/0000-0002-5993-1665}，“机构”：[{“id”：https://openalex.org/I4210160447“，”display_name“：”伦敦大学“，”ror“：”https://ror.org/054v4yq51“，”“country_code”“：”MX“，”type“：”教育“，”世系“：[”https://openalex.org/I4210160447“]}]，”国家“：[”MX“]，”is_corresponding“：false，”raw_author_name“：”Taolue Chen“，”raw _affiliation_strings“：[“伦敦大学”]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5054484090“，”display_name“：”刘志明“，”兽人“：”https://orcid.org/0000-0001-9566-3971}，“机构”：[{“id”：https://openalex.org/I142108993“，”display_name“：”西南大学“，”ror“：”https://ror.org/01kj4z117“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I142108993“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”刘志明“，”raw_affiliation_strings“：[“中国重庆西南大学”]}]“countries_distict_count”：2，”institutions_disticent_count“：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]“apc_list”：null，“apc_payed”：nul，“has_fulltext”：false“cited_by_count“：29，”cited_by_percentile_year“：{“min”：95，“max”：96}，“biblio”：{”volume“：null，“issue”：null、“first_page”：null，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“:{”id“：”https://openalex.org/T11689“，”“display_name”：“深度学习模型中的对抗稳健性”，“score”：0.9991，“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/T11689“，”“display_name”：“深度学习模型中的对抗稳健性”，“score”：0.9991，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9833，“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/T11206“，”“display_name”：“科学计算用物理信息神经网络”，“score”：0.9673，“subfield”：{“id”：“https://openalex.org/subfields/3109“，”display_name“：”统计与非线性物理学“｝，”field“：｛”id“：”https://openalex.org/fields/31网址“，”display_name“：”物理学和天文学“}，”域“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.555474}，{”id“：”https://openalex.org/keywords/control-barirer-functions网站“，”display_name“：”控制屏障功能“，”score“：0.528796}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.512916}]，”concepts“：[{”id“：”https://openalex.org/C96865113，“wikidata”：https://www.wikidata.org/wiki/Q2946816“，”display_name“：”Certificate“，”level“：2，”score“：0.7565127}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7327907}，{”id“：”https://openalex.org/C50644808，“wikidata”：https://www.wikidata.org/wiki/Q192776“，”display_name“：”人工神经网络“，”level“：2，”score“：0.7000302}，{”id“：”https://openalex.org/C51544822，“wikidata”：https://www.wikidata.org/wiki/Q465274“，”display_name“：”常微分方程“，”level“：3，”score“：0.4867058}，{”id“：”https://openalex.org/C79379906，“wikidata”：https://www.wikidata.org/wiki/Q3174497“，”display_name“：”动力系统理论“，”level“：2，”score“：0.47537413}，{”id“：”https://openalex.org/C14036430网址，“wikidata”：https://www.wikidata.org/wiki/Q3736076“，”display_name“：”功能（生物学）“，”级别“：2，”分数“：0.47320622}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.38053817｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33952412}，{”id“：”https://openalex.org/C78045399，“wikidata”：https://www.wikidata.org/wiki/Q11214“，”display_name“：”微分方程“，”level“：2，”score“：0.2879058}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.12919414｝，｛”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/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C78458016，“wikidata”：https://www.wikidata.org/wiki/Q840400“，”display_name“：”进化生物学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3365365.3382222“，”pdf_url“：null，”source“：null，”license“：null.，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320327720“，”“funder_display_name”：“国家自然科学基金创新研究群体基金”，“award_id”：“6170242561902325615720246197238561732019616724356181153032761872340”}]，“dataset”：[]，“versions”：[]，“referenced_works_count”：33，“referrenced_works”：[“https://openalex.org/W1525967073","https://openalex.org/W1558296274","https://openalex.org/W1600757688","https://openalex.org/W1607353007","https://openalex.org/W1627251346","https://openalex.org/W1960 944592","https://openalex.org/W1979646426","https://openalex.org/W2016056788","https://openalex.org/W2033118636","https://openalex.org/W2036031393","https://openalex.org/W2129729773","https://openalex.org/W2130705439","https://openalex.org/W2152533774","https://openalex.org/W2156155874","https://openalex.org/W2165073069","https://openalex.org/W2166929155","https://openalex.org/W2496887306","https://openalex.org/W2530699422","https://openalex.org/W2536620281","https://openalex.org/W2594877703","https://openalex.org/W2766658289","https://openalex.org/W2899116309","https://openalex.org/W2938701611","https://openalex.org/W2964102294","https://openalex.org/W2964130946","https://openalex.org/W2987907651","https://openalex.org/W3102469351","https://openalex.org/W3125537303","https://openalex.org/W3144479326","https://openalex.org/W4205850761","https://openalex.org/W4229917934","https://openalex.org/W4240805545","https://openalex.org/W4299828299“]，”related_works“：[”https://openalex.org/W4323927134","https://openalex.org/W4320521253","https://openalex.org/W4287258307","https://openalex.org/W3167190751","https://openalex.org/W3098582471","https://openalex.org/W2386387936","https://openalex.org/W2150845727","https://openalex.org/W2129026697","https://openalex.org/W1629725936","https://openalex.org/W113471605“]，”ngrams_url“：”https://api.openalex.org/works/W3021850381/ngrams网站“，”“abstract_inverted_index”：{“This”：[0]，“paper”：[1]，“presents”：[2]，“an”：[3]，“approach”：[4]，“of”：[5,22,42,51,56,84116134]，“safety”：[6,55]，“verification”：[7,30]，“based”：[8,32,96]，“on”：[9,33]，“neural”：[10,69,91108]，“networks”：[11,70]，“for”：[12,89107]，“continuous”：[13]，“动态”：[14,44]，“系统”：[15]，“其中”：[16,52111]，“是”：[17,37]，“建模“：[18]，”为“：[19137]，”a“：[20,73,81126138]，”系统“：[21,45,58]，”普通“：[23]，”微分“：[24]，”方程。“：[25]，”我们“：[26,61141]，”采用“：[27]，”该“：[28,40,43,49,54,57,65,90104114132]，”演绎“：[29]，”方法“：[31123]，”障碍“：[34,66117129135]，”证书。“：[35]，”These“：[36]，”functions“：[38106]，”over“：[39]，”states“：[41]，”with“：[46148]，”sequent“：[47]，”constraints“：[48]，”existence“：50]，”includes“：[P3]，”under“：[59]，”country。“：[60]，”propose“：[62]，”to“：[63,98124]，”representation“：[64]，”function“：[67]，”by“：[68]，”and“：[71102]，”supply“：[72,94]，”comprehensive“：[74]，”synthesis“：[75]，”framework.“：[76]，”In“：77]，”special“：[78]，”we“：%79,93119]，”device“：[80]，”new“：+82]，”type“：/83]，”activation“：[85]，“函数”，：[86]，“即”：[87]，“Bent-ReLU，”：[88]，“网络；“：[92]，”采样“：[95]，”方法“：[97144]，”生成“：[99]，”训练“：[100110]，”集合“：[101]，”制定“：[103]，”损失“：[105]，”网络“：[109]，”可以“：[112]，”捕获“：[113]，”本质“：[115]，”证书；“：[118]，”也“：[120]，”现在“：[121]，”实际“：[122]，”检查“：[125]，”学习“：[127]，”候选人“：[128]，”证书“：[130]，”反对“：[131]，”标准“：[133]，”证明“：[136]，”正式“：[139]，”保证。“：[140]，”实现“：[142]，”我们的“：[143]，”通过“：[145]，”概念证明“：[146]，”实验“：[147]，”鼓励“：[149]，”结果。“：[150]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3021850381“，”counts_by_year“：[{”年“：2024，”cited_by_count“：3}，{”年份“：2023，”cited_by_count”：8}，“{”年度“：2022，”citecd_by_count“：10}，”{“年份”：2021，”citesd_by_count“:7}，，{“年”：2020，”citted_by-count“:1}]，”updated_date“：”2024-06-07T02:00:01.164787“，”“created_dated”：“2020-05-13”}