{“id”：“https://openalex.org/W1783413852“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_18“，”title“：”蒙特卡洛模型检查“，”display_name“：”蒙特卡洛模型检查“，”publication_year“：2005，”publication_date“：”2005-01-01“，”ids“：｛”openalex“：”https://openalex.org/W1783413852网址“，”doi“：”https://doi.org/10.1007/978-3-540-31980-1_18“，”mag“：”1783413852“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_18，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_18.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_18.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5034362557“，”display_name“：”Radu Grosu“，”orcid“：”https://orcid.org/0000-0001-5715-2142}，“机构”：[{“id”：https://openalex.org/I59553526“，”display_name“：”石溪大学“，”ror“：”https://ror.org/05qghxh33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I59553526“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Radu Grosu“，”raw _affiliation_strings“：[“Stony Brook Univ.计算机科学系，Stony Broak，NY，11794，USA”]，“affiliations”：[{“raw_affiliation _string”：“Stony布鲁克Univ.Stony Broek，NY11794，美国”，“institution_ids”：[”https://openalex.org/I59553526“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5039202410“，”display_name“：”Scott A.Smolka“，”orcid“：”https://orcid.org/0000-0002-7348-630X}，“机构”：[{“id”：https://openalex.org/I59553526“，”display_name“：”石溪大学“，”ror“：”https://ror.org/05qghxh33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I59553526“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Scott A.Smolka“，”raw _ afiliation_strings“：[“Stony Brook Univ.计算机科学系，Stony Broak，NY，11794，USA”]，“affiliations”：[{“raw_affiliation_strong”：“Stony布鲁克Univ.Stony Broek，NY11794，US，”，“institution_ids”：[”https://openalex.org/I59553526“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：6.66，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：122，”引用规范化百分比“：{”value“：0.986232，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：97，”max“：98}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“271”，“last_page”：“286”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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/T11567“，”display_name“：”自动机理论与形式语言“，”score“：0.9903，”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.9845，“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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.628283}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.579476}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.539493}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.502597}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.501467}]，”concepts“：[{”id“：”https://openalex.org/C19499675，“wikidata”：https://www.wikidata.org/wiki/Q232207“，”display_name“：”Monte Carlo方法“，”level“：2，”score“：0.6220879}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.560028}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.5563506}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.5219073}，{”id“：”https://openalex.org/C121194460，“wikidata”：https://www.wikidata.org/wiki/Q856741“，”display_name“：”Random walk“，”level“：2，”score“：0.45508674}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.43353057}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.41234112}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.3546319}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3206042}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.23114121｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31980-1_18，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_18.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_18，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31980-1_18.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“：56，”https://openalex.org/W107078397","https://openalex.org/W138290785","https://openalex.org/W1488866512","https://openalex.org/W1489725951","https://openalex.org/W1498125516","https://openalex.org/W1501731334","https://openalex.org/W1503170978","https://openalex.org/W1538056753","https://openalex.org/W1540501475","https://openalex.org/W1544634046","https://openalex.org/W1550751356","https://openalex.org/W1560643704","https://openalex.org/W1582292473","https://openalex.org/W1590315663","https://openalex.org/W1593428110","https://openalex.org/W1783413852","https://openalex.org/W1787074469","https://openalex.org/W1877700846","https://openalex.org/W1934074768","https://openalex.org/W1943389500","https://openalex.org/W1975447428","https://openalex.org/W1984957636","https://openalex.org/W1999901857","https://openalex.org/W2003227046","https://openalex.org/W2005998857","https://openalex.org/W2006553351","https://openalex.org/W2010176538","https://openalex.org/W2012935476","https://openalex.org/W2019881090","https://openalex.org/W2079463874","https://openalex.org/W2079680418","https://openalex.org/W2099392892","https://openalex.org/W2114158268","https://openalex.org/W2114909350","https://openalex.org/W2117189826","https://openalex.org/W2133693398","https://openalex.org/W2134991157","https://openalex.org/W2146973388","https://openalex.org/W2152342144","https://openalex.org/W2155032609","https://openalex.org/W2160083957","https://openalex.org/W2169908972","https://openalex.org/W2551390344","https://openalex.org/W2561675875","https://openalex.org/W2611515161","https://openalex.org/W2796286277","https://openalex.org/W2801840425","https://openalex.org/W2912904668","https://openalex.org/W2913459036","https://openalex.org/W3101972507","https://openalex.org/W3131027453","https://openalex.org/W42364276","https://openalex.org/W4246673598","https://openalex.org/W4285719527","https://openalex.org/W46653902","https://openalex.org/W76273397“]，”related_works“：[”https://openalex.org/W2952737788","https://openalex.org/W2804745155","https://openalex.org/W2736259393","https://openalex.org/W2529542719","https://openalex.org/W2493800215","https://openalex.org/W2182066955","https://openalex.org/W2162351207","https://openalex.org/W2106934209","https://openalex.org/W1572578464","https://openalex.org/W1546995467“]，”abstract_inverted_index“：{”We“：[0]，”present“：[1]，”MC“：[2,36,95160]，”2，“：[3]，”what“：[4]，”We“：[5]，”相信“：[6]，”to“：[7,69]，”be“：[8,78]，”the“：[9,79111122]，”first“：[10]，”随机化，“：[11]，”Monte“：[12]，”Carlo“：[13]，”algorithmic“：[14]，“对于“：[15]，”时间逻辑“：[16]，”模型“：[17]，”检查“：[18]，”给定“：[19]，”a“：[20,24,54,88102]，”规范“：[21]，“S”：[22,65]，“of”：[23,81113152]，“finite-state”：[25]，“system”：[26]，“an”：[27,82,91115149]，“LTL”：[28]，“formula”：[2]，“\u03d5，”：[30]，“and”：[31,34108139165]，“parameters”：[32]，“\u 03b5”：[33]，“\ u 03b4，”：“：[35]，“2”：[37,96161]，“takes”：[38]，“M”：[39]，“=”：[40,63,73]，“ln”：[41,44]，“（\u03b4）”：[42]，“/”：[43]，“1”：[45]，“\u2013”：[46]，“\ u03b5）“：[47]，”random“：[48]，”samples“：[49153]，”（random”：[50]，”walks“：-51]，”ending“：[52]，”in“：[53,85136]，”cycle，“：[55]，”i.e“：[56]，”lassos）“：[57]，”from“：[58]，”B\u00fcchi“：60]，”automaton“：[61]，”B“：[62,64]，”\u00d7B“：[P6]，”u00ac\u03d 5“：[67]，”。“：[68]，”决定“：[70]，”如果“：[71]，”L（B）“：[72]，”\u2205.“：[74]，”让“：[75]，”p“：[76125]，”Z“：[77126]，”期望“：[80]，”接受“：[83,92116]，”套索“：[84,93117]，”B“：[86]，”应该“：[87]，”样本“：[89]，”揭示“：[90]，”L，“：[94]，”返回“：[97]106]，“false”：[98]，“with”：[99]，“L”：[100]，“as”：[101]，“witness”。“：[103]，”“否则”“：[104]，”it“：[105]，”true“：[107]，”reports“：[109]，”that“：[110124159]，”probability“：[112]，”finding“：114]，”thorough“：[118]，”further“：+119]，”sampling“：[120]，”under“：[121]，”substation“：[123]，”\u2265“：[127]，”u03b5，“：[128]，”is“：[129144162]，”less“：%130]，“than”：[131]，“\u03b4.”：[132]，“it”：[133]，“does”：[134]，“so”：[135]，“时间”：[137]O（MD）“：[138]，“空格”：[140]，“O（D）”：[141]，“其中”：[142]，“D”：[143]，“B的”：[145]，“复发”：[146]，“直径”：[147]，“使用”：[148]，“最佳”：[150]，“数字”：[151]，“M”：[154]，“我们的”：%155]，“实验”：[156]，“结果”：[157]，“演示”：[158]，“快速”：[163]，“记忆-e”efficient，“：[164]，”scales“：[166]，”extremely“：[167]，”well。“：[168]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1783413852“，”counts_by_year“：[{”年“：2024，”cited_by_count“：2}，{”年份“：2023，”ciped_by_cunt“：2}，”{“年份”：2022，“cited_by_count”：4}，“{”年度“：2021，”cited_by_count“年份”：2017，“引用_ by_count”：7}，{“年份”:2016，“引用_by_counts”：8}，}“年份“：2015，”引用_ by-count“：7}，{“年份”：2014，“引用_ by_count”：10}，{”年份”：2013，“引用_by_counts”：3}，}”年份“：2012，“引用的_by_cunt”：6}]，“更新日期”：“2024-09-08T23:06:21.952134”，“创建日期”：”2016-06-24“}