{“id”：“https://openalex.org/W2148265818“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_17“，”title“：”递归概率状态机的算法验证“，”display_name“：”递推概率状态机算法验证”，“publication_year”：2005，“publiction_date”：“2005-01-01”，“ids”：{“openalex”：“https://openalex.org/W2148265818“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_17“，”mag“：”2148265818“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_17，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_17.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%2F978-3-540-31980-1_17.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5003946901“，”display_name“：”Kousha Etessami“，”orcid“：”https://orcid.org/0000-0001-5700-3462}，“机构”：[{“id”：https://openalex.org/I98677209“，”display_name“：”爱丁堡大学“，”ror“：”https://ror.org/01nrxwf90“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I98677209“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Kousha Etessami“，”raw _affiliation_strings“：[“爱丁堡大学信息学院”]，”affiliations“：[{”raw _affiliation_string“：”爱丁堡学院信息学院“，”institution_ids“：[https://openalex.org/I98677209“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5043084405“，”display_name“：”Mihalis Yannakakis“，”orcid“：”https://orcid.org/0000-0003-2857-1860}，“机构”：[{“id”：https://openalex.org/I78577930“，”display_name“：”哥伦比亚大学“，”ror“：”https://ror.org/00hj8s172“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I78577930“]}]，”countries“：[”US“]，”is_corresponding“：false，”raw_author_name“：”Mihalis Yannakakis“，”raw_affiliation_strings“：【”哥伦比亚大学计算机科学系“】，”affiliations“：[{”raw_affiliation_string“：”哥伦比亚大学计算科学系“，”institution_ids“：[“https://openalex.org/I78577930“]｝]｝]，”countries_destict_count“：2，”institutions_disict_count“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：｛”value“：5000，”currency“：”EUR“，”value_usd“：5392，”出处“：”doaj“｝，”apc_payed“：null，”fwci“：7.326，”has_fulltext“：true，”fulltext_oorigin“：”pdf“，”cited_by_count“：49，”citation_normalized_p百分位“：｛”value“：0.891546，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：93，”max“：94}，“biblio”：{“volume”：null，”issue“：null”，”first_page“：”253“，”last_page“：”270“}”，“is_retracted”：false“，”is_paratext“：fase，”primary_topic“：”{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9966，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9952，“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/exptime网站“，”display_name“：”EXPTIME“，”score“：0.7792346}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.609349}，{”id“：”https://openalex.org/keywords/reachability问题“，”display_name“：”可达性问题“，”score“：0.58885103}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.540293｝，｛”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.538428}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.537896}]，”concepts“：[{”id“：”https://openalex.org/C56049555，“wikidata”：https://www.wikidata.org/wiki/Q1276570“，”display_name“：”EXPTIME“，”level“：4，”score“：0.7792346}，{”id“：”https://openalex.org/C197685441，“wikidata”：https://www.wikidata.org/wiki/Q500716“，”display_name“：”PSPACE“，”level“：3，”score“：0.7091289}，{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.661693}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6246469｝，｛”id“：”https://openalex.org/C98763669，“wikidata”：https://www.wikidata.org/wiki/Q176645“，”display_name“：”Markov链“，”level“：2，”score“：0.59525937}，{”id“：”https://openalex.org/C168773036，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.5891701}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570“，”display_name“：”可达性问题“，”level“：3，”score“：0.58885103｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.57520586}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.5690455}，{”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.53356314}，{”id“：”https://openalex.org/C34388435，“wikidata”：https://www.wikidata.org/wiki/Q2267362“，”display_name“：”绑定函数“，”level“：2，”score“：0.4963146}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.48403567}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.41837385}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40345508}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.35591504}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.3191672｝，｛”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.22979623}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_17，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_17.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_17，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_17.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“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：26，”https://openalex.org/W1491036809","https://openalex.org/W1574901103","https://openalex.org/W1595179046","https://openalex.org/W1691700263","https://openalex.org/W1715173658","https://openalex.org/W1864873123网址","https://openalex.org/W1972203711","https://openalex.org/W1991813962","https://openalex.org/W2001255903","https://openalex.org/W2005059149","https://openalex.org/W2047206742","https://openalex.org/W2056099894","https://openalex.org/W2066194644","https://openalex.org/W2067754486","https://openalex.org/W2098543914","https://openalex.org/W2151549243","https://openalex.org/W2152221608","https://openalex.org/W2158487182","https://openalex.org/W2165161585","https://openalex.org/W2167246417","https://openalex.org/W2337623929","https://openalex.org/W2568511220","https://openalex.org/W2602645338","https://openalex.org/W4232474943","https://openalex.org/W4297962570","https://openalex.org/W4300577719“]，”related_works“：[”https://openalex.org/W64121912","https://openalex.org/W4210247746","https://openalex.org/W2963086563","https://openalex.org/W2948165904","https://openalex.org/W2585424667","https://openalex.org/W2148265818","https://openalex.org/W2003945049","https://openalex.org/W1979488813","https://openalex.org/W1970063378","https://openalex.org/W1572551939“]，”abstract_inverted_index“：{”Recursive“：[0]，”Markov“：[1,28]，”Chains“：[2]，”（RMC）“：[3]，”（[EY05]）“：[4]，”are“：[5]，”a“：[6,24,49,59,8011949221251254]，“自然”：[7]，”抽象“：[8]，“模型”：[9,44128179216]，“of”：[10,26,43,72,82157261]，“过程”：[11]，”概率“：[12]，”程序“：[13]，”和“：[14,19,5810314014159189]，”相关“：[15]，”系统“：[16]，”涉及“：[17]，”递归“：[18]，”概率。“：[20]，”他们“：[21]，”简洁“：[22]，”定义“：[23]，”类“：[25]，”可数“：[27]，”链“：[29]，”那“：[30,69126177213238]，”泛化“：[31]，”多类型“：[32]，”分支“：[33]，”（随机）“：[34]，”进程。“：[35]，”In“：[36]，”this“：[37]，”论文，“：[38]，”我们“：[39，6311421234]，”研究“：[40]，”the“：[41，67，96108115154214227259]，”problem“：[42257]，”checking“：[4512980217]，”an“：[46，55，70]，”RMC“：[47，56151]，”反对“：[48]，”给定“：[50，54]，”\u03c9 regular“：[51]，”规范。“：[52]，”即，“：[53]，”A“：[57,73146162244]，”B\u00fcchi“：[60]，”自动机“：[61]，”B“，”：[62]，“愿望”：[64]，“到”：[65117]，“知道”：[66]，“概率”：[68，97109116]，“执行”：[71]，“是”：[74147163196224]，“接受”：[75]，“由”：[76205]，“B”：[77]，“我们”：[78174]，“建立”：[79]，“数字”：[81156]，“强”：[83]，“上限”：[84241]，“界限”，“：[85,90210]，”如“：[86,88]，”well“：[87]，”lower“：[89209]，”both“：[91]，”for“：[92104130220231]，”qualitical“：[93127215]，”problems“：[94106]，”（is“：[95107]，”=“：[98101]，”1，“：[99]，”or“：[100152]，”0？），“：[102]，”quantitative“：[105178]，”\u2265“：[110]，”p“：[111]，”？，“：[112]，”或“，”：[113]，“近似”：[114]，“在”：[118]，“所需”：[120]，“精度”）。“：[121]，”其中“：[122]，”这些，“：[123]，”显示“：[125176212]，”通用“：[131]，”RMCs“：[132]，”可以“：[133166181245]，”是“：[134167183247]，”决定“：[135168]，”in“：[136138142161169172185190201236243258]，”PSPACE“：[137186240]，”|A|“：[139]，”EXPTIME“：[141]，”|“|B|，”：[143]，“when”：[145153]，“任一”：[148]，“单一出口”：[150]，“总计”：[155]，“entries“：[158]，“exits”：[160]，“bounded”：[164]，“it”：[165]，“多项式”：[170]，“time”：[171]，“|A|。“：[173]，”then“：[175]，”also“：[182]，”done“：[184]，”|A|，“：[188]，”EXPSPACE“：[191]，”|1B|。“：[193]，“When”：[194]，“B”：[195]，“deterministic”，“：[197]，“all”：[198]，“our”：[199239]，“complexscriptions”：[200]，“|B|”：[202]，“come”：[203]，“down”：[204]，“one”：[206]，“indicatory”。“：[207]，”对于“：[208]，”问题“：[218]，”偶数“：[219230]，”已修复“：[222]，”RMC，“：[223]，”EXPTIME-complete。“：[225]，“开”：[226]，“其他”：[228]，“手”，：[229]，“可达性”：[232]，“分析”，“：[233]，“显示”：[235]，“[EY05]”：[237]，“界限”：[242]，“否”：[246]，“改进”：[248]，“上”：[249]，“无”：[250]，“突破”：[252]，“开启”：[253]，“众所周知”：[255]，“开放”：[256]，“复杂性”：[260]，“数值”：[262]，“计算”。“：[263]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2148265818“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：1}，{“年”：2022，”ciped_by_cunt“：2}，”{“年度”：2015，“cited_by_count”：1}.，{”年“：2014，”cited_by_count，“创建日期”：“2016-06-24”}