｛“id”：“https://openalex.org/W2015717550“，”doi“：”https://doi.org/10.109/qest.2010.41“，”title“：”Fortuna:模型检查定价的概率时间自动机“，”display_name“：”福图纳：模型检查定价概率时间自变量“，”publication_year“：2010，”publiation_date“：”2010-09-01“，”ids“：{”openalex“：”https://openalex.org/W2015717550“，”doi“：”https://doi.org/10.109/qest.2010.41“，”mag“：”2015717550“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/qest.2010.41“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”proceedings article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”green“，”oa_url“：”https://repository.ubn.ru.nl/bitstream/handle/2066/75424/1/75424.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5081857535“，”display_name“：”Jasper Berendsen“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Jasper Berendsen“，”raw _ afiliation_strings“：[“荷兰奈梅亨Radboud大学计算与信息科学研究所”]，”affiliations“：[{”raw _affiliation_string“：”计算与信息学研究所，荷兰奈梅根Radbouds大学奈梅根学院”，“institution_ids”：[”https://openalex.org/I145872427“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5006029818“，”display_name“：”David N.Jansen“，”orcid“：”https://orcid.org/0000-0002-6636-3301}，“机构”：[{“id”：https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”David N.Jansen“，”raw _affiliation_strings“：[“计算与信息科学研究所，荷兰奈梅亨Radboud Univ.Nijmegen”]，”affiliations“：[{”raw_affiliation_string“：”计算与信息科技研究所，Radboud-Univ.Nejmegen，Netherlands”，“institution_ids”：[”https://openalex.org/I145872427“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5001955028“，”display_name“：”Frits Vaandrager“，”orcid“：”https://orcid.org/0000-0003-3955-1910}，“机构”：[{“id”：https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Frits Vaandrager“，”raw _ afiliation_strings“：[“荷兰奈梅亨Radboud大学计算与信息科学研究所”]，”affiliations“：[{”raw _affiliation_string“：”荷兰奈梅根Radbouds大学奈梅根计算与信息学研究所”，“institution_ids”：[“”https://openalex.org/I145872427“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：null，”apc_payed“：null”，“fwci”：3.665，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：16，“ciped_by_percentile_year”：{“min”：89，“max”：90}，“biblio”“：{”volume“：null，”issue“：null，”first_page“：null.”last_page“：null}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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”：0.9999，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9964，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9946，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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.572128}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.532388}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.527955}，{”id“：”https://openalex.org/keywords/检查点“，”display_name“：”检查点“，”score“：0.519698}，{”id“：”https://openalex.org/keywords/failure-pedition“，”display_name“：”故障预测“，”score“：0.518988}]，”concepts“：[{”id“：”https://openalex.org/C8515805，“wikidata”：https://www.wikidata.org/wiki/Q719741“，”display_name“：”Fortuna“，”level“：2，”score“：0.8505072}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.74536216}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.7391081}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.64344877}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.6288841}，{”id“：”https://openalex.org/C30788636，“wikidata”：https://www.wikidata.org/wiki/Q7805517“，”display_name“：”Timed automaton“，”level“：3，”score“：0.44346413}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.40695542}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.3964743}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.13905886}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.098252594}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/qest.2010.41“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://hdl.handle.net/2066/75424，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/75424/1/75424.pdf，“源”：{“id”：https://openalex.org/S4306401068“，”display_name“：”Radboud Repository（Radboud University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/2066/75424，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/75424/1/75424.pdf，“源”：{“id”：https://openalex.org/S4306401068“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]https://openalex.org/W1516852392","https://openalex.org/W1573865009","https://openalex.org/W1590344134","https://openalex.org/W1710323894","https://openalex.org/W1796633467","https://openalex.org/W1987734880","https://openalex.org/W2009280542","https://openalex.org/W2015717550","https://openalex.org/W2028827800","https://openalex.org/W2041509965","https://openalex.org/W2062873592","https://openalex.org/W2065323166","https://openalex.org/W2095602520","https://openalex.org/W2103416572","https://openalex.org/W2138721587","https://openalex.org/W2586877961","https://openalex.org/W2797349008","https://openalex.org/W4233840023","https://openalex.org/W4285719527“]，”related_works“：[”https://openalex.org/W2625519638","https://openalex.org/W2496418340","https://openalex.org/W2169797019","https://openalex.org/W2152996796","https://openalex.org/W2139989305","https://openalex.org/W2128943695","https://openalex.org/W2095602520","https://openalex.org/W1584197856","https://openalex.org/W14995144499","https://openalex.org/W1494467844“]，”ngrams_url“：”https://api.openalex.org/works/W2015717550/ngrams网站“，”“abstract_inverted_index”：{“Fortuna”：[0,85138]，“is”：[1,86112]，“the”：[2,21,39,51,90110135]，“first”：[3]，“tool”：[4]，“for”：[5,59142]，“model”：[6,17,30]，“checking”：[7]，“priced”：[8]，“probability”：[9,25,72]，“timed”：[10,73]，“automata”：[11,74]，“（PPTAs）。”：[12]，“PPTA“：[13,67146]，”是“：[14,68147]，”一个“：[15,69]，”重要“：[16]，”“：[18,32,43121]，“can”：[19,37,99]，“handle”：[20]，“combination”：[22]，“of”：[23,71,97125137]，“real-time”：[24]，“and”：[26,55,62,79]，“cost”：[27,81]，“features”。“：[28]，“仅”：[29]，“检查程序”：[31]，“合并”：[33]，“全部”：[34]，“这些”：[35]，“功能”：[36]，“地址”：[38]，“键”：[40]，“设计”：[41]，“权衡”：[42]，“出现”：[44]，“in”：[45114]，“many”：[46]，“实用”：[47]，“应用程序”：[C8]，如“：[49]，”：“：[50]，“Zeroco nf，“：[52]，”蓝牙“：[53]，”IEEE802.11“：[54]，”Firewire“：[56]，”协议“：[57]，”协议“：[58]，”传感器“：[60]，”网络“：[61]，”调度“：[63]，”问题“：[64]，”with“：[65139]，”故障。“：[66]，“扩展”：[70]，“（PTA），”：[75]，“by”：[76,93]，“having”：[77]，“cost rates”：[78]，“discrete”：[80]，“increments”：[82]，“on”：[83]，“states”。“：[84]，“能”：[87]，“到”：[88]，“计算”：[89]，“最大”：[91126]，“概率”：[92]，“其中”：[94]，“a”：[95103118122]，“类”：[96]，“状态”：[98]，“是”：[100]，“达到”：[101]，“根据”：[102]，“确定”：[104]，“成本约束”：[105]，“（和”：[106]，“时间”：[107]，“约束。）”：[108]，“虽然”：[109]，“问题”：[111]，“不可判定”：[113]，“一般”，：[115149]，“那里”：[116]，“存在“：[117]，”半算法“：[119]，”产生“：[121]，”非递减“：[123]，”序列“：[124]，”概率。“：[127]，”This“：[128]，”paper“：[129]，”enhanced“：[130]，”algorithm。“：[132]，“我们”：[133]，“比较”：[134]，“绩效”：[136]，“现有”：[140]，“方法”：[141]，“PTA。“：[143]，”令人惊讶“：[144]，”虽然“：[145]，”更多“：[148]，”我们的“：[150]，”技术“：[151]，”展览“：[152]，”卓越“：[153]，”性能。“：[154]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2015717550“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：1}，{“年”：2020，”“引用_by_cunt”：1'，{”“年”“：2017，”：2012，“cited_by_count”：2}]，“updated_date”：“2024-06-21T00:58:54.503391”，“创建日期”：“2016-06-24"}