{“id”：“https://openalex.org/W4390605315“，”doi“：”https://doi.org/10.1145/3632935“，”title“：”Programmatic Strategy Synthesis：“解决概率程序中的非确定性”，“display_name”：“程序策略合成：解决概率程序的非确定性问题”，“publication_year”：2024，“publiation_date”：“2024-01-05”，“ids”：{“openalex”：“https://openalex.org/W4390605315“，”doi“：”https://doi.org/10.1145/3632935“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3632935，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3632935，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“青铜色”，“oa_url”：“”https://dl.acm.org/doi/pdf/10.1145/3632935“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A505544271“，”display_name“：”Kevin Batz“，”orcid“：”https://orcid.org/0000-0001-8705-2564}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛工业大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Kevin Batz“，”raw _affiliation_strings“：[“德国亚琛RWTH亚琛大学”]，”affiliations“：[{”raw _affiliation_string“：”德国亚琛RWTH Aachen大学”，“institution_ids”：[“https://openalex.org/I887968799“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5093272072“，”display_name“：”Tom Jannik Biskup“，”orcid“：”https://orcid.org/0009-0002-0169-641X}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛工业大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Tom Jannik Biskup“，”raw _ afiliation_strings“：[“RWTH Aachen University，Aachen，Germany”]，“afliations”：[{“raw_affiliation_string”：“RWTH-Aachen University，Alachen，Dermany”，“institution_ids”：[“https://openalex.org/I887968799“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5080606370“，”display_name“：”Joost-Pieter Katoen“，”orcid“：”https://orcid.org/0000-0002-6143-1926}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Joost-Pieter Katoen“，”raw_affiliation_strings“：[“德国亚琛RWTH亚琛大学”]，”affiliations“：[{”raw_affiliation_string“：”德国亚琛RWTH Aachen大学“，”institution_ids“：]”https://openalex.org/I887968799“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5088301072“，”display_name“：”Tobias Winkler“，”orcid“：”https://orcid.org/0000-0003-1084-6408}，“机构”：[{“id”：https://openalex.org/I887968799“，”display_name“：”亚琛理工大学“，”ror“：”https://ror.org/04xfq0f34“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I887968799“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Tobias Winkler“，”raw _ afiliation_strings“：[“德国亚琛RWTH亚琛大学”]，”affiliations“：[{”raw_ afiliation _string“：”德国亚琛RWTH Aachen大学“，”institution_ids“：[https://openalex.org/I887968799“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：null，”apc_payed“：null'，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count：{“volume”：“8”，“issue”：“POPL”，“first_page”：“2792”，“last_page“：”2820“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9994，“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.9994，“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/T11303“，”“display_name”：“贝叶斯网络中的学习和推理”，“score”：0.9902，“subfield”：{“id”：“https://openalex.org/subfields/s702“，”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/T11235“，”“display_name”：“临床试验和药物开发中的统计方法”，“score”：0.9706，“subfield”：{“id”：“https://openalex.org/subfields/2613“，”display_name“：”统计与概率“}，”字段“：{”id“：”https://openalex.org/fields/26“，”display_name“：”Mathematics“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.537371｝，｛”id“：”https://openalex.org/keywords/probabilistic-learning网站“，”display_name“：”概率学习“，”score“：0.532728}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”级别“：2，”分数“：0.77763176}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.73517656}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.6336261}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.57002985}，{”id“：”https://openalex.org/C192465680，“wikidata”：https://www.wikidata.org/wiki/Q1413450“，”display_name“：”Precondition“，”level“：2，”score“：0.56339437}，{”id“：”https://openalex.org/C106189395，“wikidata”：https://www.wikidata.org/wiki/Q176789“，”display_name“：”Markov决策过程“，”level“：3，”score“：0.562237}，{”id“：”https://openalex.org/C182365436，“wikidata”：https://www.wikidata.org/wiki/Q50701“，”display_name“：”变量（数学）“，”level“：2，”score“：0.43705797}，{”id“：”https://openalex.org/C159886148，“wikidata”：https://www.wikidata.org/wiki/Q176645“，”display_name“：”Markov过程“，”level“：2，”score“：0.36025053}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35364226}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.31822854}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.22274491}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.11428675}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3632935，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3632935，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1145/3632935，“pdf_url”：https://dl.acm.org/doi/pdf/10.1145/3632935，“源”：{“id”：https://openalex.org/S4210216081“，”display_name“：”ACM关于编程语言的会议记录“，”issn_l“：”2475-1421“，”isn“：[”2475-1221“]，”is_oa“：true，”is.in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机械协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.78，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”拨款“：[{”资助者“：”https://openalex.org/F4320320879“，”funder_display_name“：”Deutsche Forschungsgemeinschaft“，”award_id“：”DFG RTG 2236 UnRAVeL“}，{”funder“：”https://openalex.org/F4320334678“，”“funder_display_name”：“欧洲研究委员会”，“award_id”：“AdG 787914 FRAPPANT”}]，“数据集”：[]，“版本”：[]，“referenced_works_count”：44，“referrenced_works”：[”https://openalex.org/W1479679270","https://openalex.org/W1498004481","https://openalex.org/W1498432697","https://openalex.org/W169931978","https://openalex.org/W1729037535","https://openalex.org/W1734364899网址","https://openalex.org/W1982800675","https://openalex.org/W1999766763","https://openalex.org/W2000108089","https://openalex.org/W2048239613","https://openalex.org/W2052092737","https://openalex.org/W2066210260","https://openalex.org/W2095414659","https://openalex.org/W2130427425","https://openalex.org/W2134991157","https://openalex.org/W2142393723","https://openalex.org/W2220995138","https://openalex.org/W2222812367","https://openalex.org/W233478222","https://openalex.org/W2464408876","https://openalex.org/W2527393991","https://openalex.org/W2759180318","https://openalex.org/W2761522698","https://openalex.org/W2763611255","https://openalex.org/W2785797961","https://openalex.org/W2803490327","https://openalex.org/W2860675612","https://openalex.org/W2963258324","https://openalex.org/W2995951356","https://openalex.org/W3022567966","https://openalex.org/W3119972339","https://openalex.org/W3134410578","https://openalex.org/W3167391728","https://openalex.org/W3179132544","https://openalex.org/W3186609013","https://openalex.org/W4212845139","https://openalex.org/W4225120439","https://openalex.org/W4244819751","https://openalex.org/W4253748132","https://openalex.org/W4280542425","https://openalex.org/W4315606091","https://openalex.org/W4366451130","https://openalex.org/W4386794382","https://openalex.org/W4388717631“]，”related_works“：[”https://openalex.org/W830459867","https://openalex.org/W4255368532","https://openalex.org/W2953046944","https://openalex.org/W2753578936","https://openalex.org/W2294916142","https://openalex.org/W2185407019","https://openalex.org/W2162286586","https://openalex.org/W1988458526","https://openalex.org/W187740018","https://openalex.org/W1581362285“]，”ngrams_url“：”https://api.openalex.org/works/W4390605315/ngrams网站“，”“abstract_inverted_index”：{“我们”：[0,61116]，“考虑”：[1]，“命令”：[2]，“程序”：[3]，“那个”：[4,25]，“涉及”：[5]，“两者”：[6]，“随机化”：[7]，“和”：[8,65]，“纯”：[9,22]，“不确定性”：[10]，“The”：[11]，“central”：[12]，“question”：[13]，“is”：[14]，“how”：[15]6,63118]，“to”：[16,53,98122143]，“find”：[17]，“a”：[18,31,47,56,73]，“strategy”：[19]，“解析“：[20]，”the“：[21,26,42,51,83102123]，”nondeterminism“：[23]，”such“：[24,40]，”so-obteden“：[27]，”determinated“：[28]，”program“：[29,48114]，”satisfeed“：[30]，”given“：[32,57]，”quantitatived“：33]，”specification“：[3]4]，”即“：[35]，”bounds“：[36]，”on“：[37]，”expected“：[38,43]，”outcomes“：[39]，“as”：[41]，“final”：[44]，“value”：[45]，“of”：[46,59126]，“变量“：[49]，”或“：[50]，”概率“：[52]，”终止“：[54]，”in“：[55,72113129]，”set“：[58]，”状态。“：[60]，”show“：[62117]，”memoryless“：[64]，”确定性“：[66]，”（MD）“：[67]，”strategies“：[68,85128]，”can“：[69]，”be“：[70]，”getated“：[71]，”semi-automatic“：[74]，”fashion“：[75]，”using“：[76]，”演绎“：[77]，”verification“：[78]，”technologies“。“：[79]，”对于“：[80]，”无环“：[81]，”程序“：[82100]，”MD“：[84]，”结果“：[86]，”来自“：[87]，”我们的“：[88119141]，”最弱“：[89]，”预条件类型“：[90]，”框架“：[91]，”是“：[92104]，”正确“：[93]，”由“：[94]，”构造。“：[95]，”This“：[96]，”extends“：[97]，”loopy“：[99]，”provided“：[101]，”cloops“：[103]，”assembled“：/105]，”with“：[106135]，”suitable“：[107]，”loop“：[108]，”invariants“：[109]，”-“：[110]，”just“：[111]，”like“：[112]，”verification“。“：[115]，“技术”：[12024]，“关系”：[121]，“研究充分”：[124]，“问题”：[125]，“获得”：[127]，“可数”：[130]，“无限”：[131]，“马尔可夫”：[132]，“决策”：[133]，“过程”：[134]，“可达性-回报”：[136]，“目标”。“：[137]，”最后，“：[138]，”我们“：[139]，”应用“：[140]，”几个“：[144]，”案例“：[145]，”研究。“：[146]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4390605315“，”counts_by_year“：[]，”updated_date“：”2024-06-23T12:51:10.901630“，”created_date”：“2024-01-07”}