{“id”：“https://openalex.org/W1503097156“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_4“，”title“：”Using Language Inference to Verify Omega-Regular Properties“，”display_name“：”使用语言推断验证Omega_Regular属性“，”publication_year“：2005，”publiation_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W1503097156“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_4“，”mag“：”1503097156“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_4，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_4.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_4.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5049961895“，”display_name“：”Abhay Vardhan“，”orcid“：”https://orcid.org/0009-0005-8040-9918}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Abhay Vardhan“，”raw _ afiliation_strings“：[“美国伊利诺伊大学厄本纳-香槟分校计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”美国伊利诺依大学厄本那-香槟学院计算机科学系https://openalex.org/I157725225“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5101569699“，”display_name“：”Koushik Sen“，”orcid“：”https://orcid.org/0000-0002-4539-9188}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Koushik Sen“，”raw _ afiliation_strings“：[“美国伊利诺伊大学厄本那-香槟分校计算机科学系”]，”affiliations“：[{”raw _affiliation_strong“：”美国伊利诺依大学厄本拿-香槟学院计算机科学系https://openalex.org/I157725225“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5076852218“，”display_name“：”Mahesh Viswanathan“，”orcid“：”https://orcid.org/0000-0001-7977-0080}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Mahesh Viswanathan“，”raw _ afiliation_strings“：[“美国伊利诺伊大学厄本那-香槟分校计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”美国伊利诺依大学厄本纳-香槟学院计算机科学系https://openalex.org/I157725225“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5076315769“，”display_name“：”Gul Agha“，”orcid“：”https://orcid.org/0000-0002-0580-4206}，“机构”：[{“id”：https://openalex.org/I157725225“，”display_name“：”伊利诺伊大学香槟分校“，”ror“：”https://ror.org/047426m28“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I157725225“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Gul Agha“，”raw _affiliation_strings“：[“美国伊利诺伊大学厄本那香槟分校计算机科学系”]，“affiliations”：[{https://openalex.org/I157725225“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：3.198，”has_fulltext“：false，”cited_by_count：28，”citation_normalize d_percentile“：{“值”：0.8397，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：89，”max“：90}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“45”，“last_page”：“60”}，，“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9993，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T12072“，”“display_name”：“机器学习研究中的主动学习”，“score”：0.9993，“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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9968，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”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/T2002“，”display_name“：”计算复杂性与算法信息理论“，”score“：0.9775，”subfield“：{”id“：”https://openalex.org/subfields/1703“，”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/liveness网站“，”display_name“：”Liveness“，”score“：0.82377243}，{”id“：”https://openalex.org/keywords/semi-supervised-learning网站“，”display_name“：”半监督学习“，”score“：0.493862}，{”id“：”https://openalex.org/keywords/regular-language网站“，”display_name“：”常规语言“，”score“：0.4888534}]，”concepts“：[{”id“：”https://openalex.org/C15569618，“wikidata”：https://www.wikidata.org/wiki/Q3561421“，”display_name“：”Liveness“，”level“：2，”score“：0.82377243}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.6941822}，{”id“：”https://openalex.org/C61445026，“wikidata”：https://www.wikidata.org/wiki/Q217608“，”display_name“：”固定点“，”level“：2，”score“：0.52273184}，{”id“：”https://openalex.org/C2779343474，“wikidata”：https://www.wikidata.org/wiki/Q3109175“，”display_name“：”Context（考古学）“，”level“：2，”score“：0.51603246}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.50377777}，{”id“：”https://openalex.org/C52370388，“wikidata”：https://www.wikidata.org/wiki/Q752532“，”display_name“：”普通语言“，”level“：3，”score“：0.4888534}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.47848576}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”有限状态机“，”level“：2，”score“：0.44926876｝，｛”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.439114}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.42987853}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.4284319}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39819047}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.22105035｝，｛”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.19757143}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.17814586}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C151730666，“wikidata”：https://www.wikidata.org/wiki/Q7205“，”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“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_4，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_4.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31980-1_4，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_4.pdf“，”源“：｛”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”素质教育“，”score“：0.52，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：20，”referrenced_works“：]”https://openalex.org/W140384553","https://openalex.org/W1503097156","https://openalex.org/W1511206757","https://openalex.org/W1526347109","https://openalex.org/W1544459976","https://openalex.org/W1554957151","https://openalex.org/W1560050980","https://openalex.org/W1612453857","https://openalex.org/W1696642672","https://openalex.org/W1860772589","https://openalex.org/W1861590051","https://openalex.org/W1971521983","https://openalex.org/W1982556442","https://openalex.org/W1989445634","https://openalex.org/W2093576181","https://openalex.org/W2096698163","https://openalex.org/W2132750992","https://openalex.org/W2561675875","https://openalex.org/W42134522","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W4312626387","https://openalex.org/W2790897865","https://openalex.org/W2161605176","https://openalex.org/W2153337086","https://openalex.org/W2135051863","https://openalex.org/W2103504376","https://openalex.org/W2082472813","https://openalex.org/W2015160737","https://openalex.org/W1989082972","https://openalex.org/W1651168384“]，”abstract_inverted_index“：{”A“：[0]，”novel“：[1]，”machine“：[2,45]，”learning“：[3,46128145]，”based“：[4,16,47,69129]，”approach“：[5,48,94]，”was“：[6]，”proposed“：[7]，”recently“：[8]，”as“：[9,3610611178]，”A“：[10,31,66,82109122165179188]，”complementary“：[11]，”technique“：[12186]，”to“：[13,38,49,95195]，“该”：[14,26,44,72,96113117136173185]，“加速“：[15]，”方法“：[17]，”用于“：[18,71,85144152169171]，”验证“：[19,50,86]，”无限“：[20,87159]，”状态“：[21,88124160]，”系统。“：[22，89161]，”In“：[23]，”this“：[24，78]，”method“：[25]，”set“：[27]，”of“：[28，74，98116154157]，”states“：[29103]，”令人满意“：[30]，”fixpoint“：[32，68174]，”property“：[33]，”is“：[34119144]，”learned“：[35]，”oppositive“：[37]，”being“：[391338]，”迭代“：[40]，”computed“。“：[41]，”We“：[42，90182]，”extend“：[43]，”general“：[51，83]，”\u03c9 regular“：[52，71555]，”properties“：[553156]，”that“：[54]，”include“：[55]，”both“：[56]，”safety“：[57]，”and“：[558112192]，”liveness“。“：[59]，“To”：[60]，“acquisive”：[61]，“this”：[62]，“we”：/63,80131148]，“first”：[64]，“develop”：-65149]，“new”：+67]，“characterized”：[70]，“verification”：[73153167]，“properties”。“：[76]，“Using”：[77140]，“characterized”：[79]，“present”：[81]，“framework”：[84]，“then”：[91]，“installation”：[92]，“our”：/93]，“context”：[97]，“regular”：[99146180]，“model”：[100]，“checking”：[101]，“where”：[102]，“are”：%104]，“represented”：[105177]，“strings”：[107]，“over”：[108]，“finited”：[11012]，“字母表”：[111]，“转换”：[114]，“关系”：[115]，“系统“：[118]，”给定“：[120]，”传感器；“：[125]，”不像“：[126]，”先前的“：[127]，”算法“：[130]，”制造“：[132]，”否“：[133]，”假设“：[134]，”关于“：[135]，”传感器“：[137]，”长度保护。“：[139]，”Angluin\u2019s“：[141]，”L*“：[142]，”algorithm“：[143151163]，”languages，“：[147]，”an“：[150]，”such“：[158]，”The“：[162]，”complete“：[166]，”procedure“：[168]，”systems“：%170]，”who“：[172]，”can“：[175]，”be“：[176]，”set。“：[181]，“have”：[183]，“implemented”：[184]，“in”：[187]，“tool”：[189]，“called”：[190]，“Lever”：[191]，“use”：[193]，“it”：[194]，“analyze”：[196]，“some”：[197]，“examples”。“：[198]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1503097156“，”“counts_by_year”：[{“年份”：2020，”“cited_by_count”：1}，{“年度”：2018，”“cited_by_cunt”：1\n，{（年份）：2017，”“cited_by_count”“：1}，{”“年份”“：2016，”“引用_by_cont”“:4}，”“年份“：2012，”“引_by_comount”“:1}]，”“更新日期”：“2024-09-10T22:54:30.207818”，”“创建日期”：”“2016-06-24”}