{“id”：“https://openalex.org/W2147098470“，”doi“：”https://doi.org/10.1016/j.tcs.2013.08.21“，”title“：”时间游戏的理论决策“，”display_name“：”定时游戏的理论决定“，”publication_year“：2014，”publitation_date“：”2014-01-01“，”ids“：{”openalex“：”https://openalex.org/W2147098470“，”doi“：”https://doi.org/10.1016/j.tcs.2013.08.021“，”mag“：”2147098470“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2013.08.021“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://doi.org/10.1016/j.tcs.2013.08.021“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5023890924“，”display_name“：”Marco Faella“，”orcid“：”https://orcid.org/0000-0001-7617-5489“｝，”机构“：[｛”id“：”https://openalex.org/I71267560“，”display_name“：”那不勒斯大学费德里科二世“，”ror“：”https://ror.org/05290cv24“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I71267560“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Faella“，”raw _affiliation_strings“：[“University \u00ed degli Studi di Napoli Federico II，80126 Napoli，Italy#TAB#”]，”afliations“：[{”raw_affiliation_string“：”University \ u00ed de degli Studi di.Napoli-Fedrico II，8126 Napoliy#TAB#“，”“institution_ids”：[”https://openalex.org/I71267560“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5078894561“，”display_name“：”Salvatore La Torre“，”orcid“：”https://orcid.org/0000-0002-4978-4307“｝，”机构“：[｛”id“：”https://openalex.org/I131729948“，”display_name“：”萨勒诺大学“，”ror“：”https://ror.org/0192m2k53“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I131729948“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Salvatore La Torre“，”raw _affiliation_strings“：[“University\u00ed degli Studi di Salerno，84084 Fisciano（SA），Italy”]，“afliations”：[{“raw_affilition_string”：“University \u00ed-degli Studi di Salerno84084 Fesciano，意大利”，“institution_ids”：[”https://openalex.org/I131729948“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5055415505“，”display_name“：”Aniello Murano“，”orcid“：”https://orcid.org/0000-0003-4876-3448“｝，”机构“：[｛”id“：”https://openalex.org/I71267560“，”display_name“：”那不勒斯大学费德里科二世“，”ror“：”https://ror.org/05290cv24“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I71267560“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Aniello Murano“，”raw _affiliation_strings“：[“University \u00ed degli Studi di Napoli Federico II，80126 Napoli，Italy#TAB#”]，”affiliations“：[{”raw_affiliation_string“：”University \ u00ed de degli Studi di-Napoli-Fedrico II，8126 Napoli#TAB#TAB#“，”institution_ids“：[“”https://openalex.org/I71267560“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：2690，”currency“：”USD“，”value_USD“：2690”provenance“：”doaj“}，”apc_payed“：{”value“：2690,”current“USD”：2690,1“provenance”：“doaj”“}，”fwci“：1.597，”has_fulltext“：false，”cited_by_count“：8，”引用_规范化_percentile“：{”value“：0.798864，”is_in_top_1_percent“：false，”is_in_top_10_percents“：false}，”cited_by_percentile_year“：{“min”：84，“max”：85}，“biblio”：{“volume”：“515”，“issue”：null，“first_page”：“46”，“last_page”：”“63”}，‘is_retracted’：false、“is_paratext”：false；“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9973，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9965，“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/tree-automaton网站“，”display_name“：”树自动机“，”score“：0.7117566}，{”id“：”https://openalex.org/keywords/timed-automaton“，”display_name“：”Timed automaton“，”score“：0.66266537}，{”id“：”https://openalex.org/keywords/b\u00fcchi-automaton“，”display_name“：”B\u00fchi-automator“，”score“：0.5866306}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.545048}，{”id“：”https://openalex.org/keywords/computation-tree-logic网站“，”display_name“：”计算树逻辑“，”score“：0.5017476｝]，”concepts“：[｛”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.74255204｝，｛”id“：”https://openalex.org/C2778583254，“wikidata”：https://www.wikidata.org/wiki/Q2872598“，”display_name“：”树自动机“，”level“：3，”score“：0.7117566}，{”id“：”https://openalex.org/C30788636，“wikidata”：https://www.wikidata.org/wiki/Q7805517“，”display_name“：”Timed automaton“，”level“：3，”score“：0.66266537}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.6244327}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6184197}，{”id“：”https://openalex.org/C139423837，“wikidata”：https://www.wikidata.org/wiki/Q243800“，”display_name“：”双向确定性有限自动机“，”level“：5，”score“：0.59961313}，{”id“：”https://openalex.org/C165753454，“wikidata”：https://www.wikidata.org/wiki/Q1020380“，”display_name“：”B\u00fcchi automaton“，”level“：4，”score“：0.5866306}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5298224}，{”id“：”https://openalex.org/C198008173，“wikidata”：https://www.wikidata.org/wiki/Q1040040“，”display_name“：”计算树逻辑“，”level“：3，”score“：0.5017476}，{”id“：”https://openalex.org/C194525867，“wikidata”：https://www.wikidata.org/wiki/Q5265707“，”display_name“：”确定性自动机“，”level“：3，”score“：0.47354025}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492网址“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.42307112}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.4221454}，{”id“：”https://openalex.org/C132525143，“wikidata”：https://www.wikidata.org/wiki/Q141488“，”display_name“：”Graph“，”level“：2，”score“：0.42107123}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.38273787}，{”id“：”https://openalex.org/C116248031，“wikidata”：https://www.wikidata.org/wiki/Q214526“，”display_name“：”自动机理论“，”level“：3，”score“：0.32143775}，{”id“：”https://openalex.org/C174327141，“wikidata”：https://www.wikidata.org/wiki/Q176837“，”display_name“：”量子有限自动机“，”level“：4，”score“：0.16849095}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2013.08.021“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.tcs.2013.08.021“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.75，”display_name“：”和平、正义和强大的机构“}]，”grants“：[{”funder“：”https://openalex.org/F4320321873“，”funder_display_name“：”Ministro dell\u2019Istruzione，dell\u 2019University\u00e0 e della Ricerca“，”award_id“：null}]，”datasets“：[]，”versions“：[]，”referenced_works_count“：70，”referrenced_works“：[”https://openalex.org/W1481109946","https://openalex.org/W1485489137","https://openalex.org/W1501062661","https://openalex.org/W1535051955","https://openalex.org/W1560050980","https://openalex.org/W1574195826","https://openalex.org/W1576868885","https://openalex.org/W1577248548","https://openalex.org/W15855606082","https://openalex.org/W1587428305","https://openalex.org/W1589082502","https://openalex.org/W1590266960","https://openalex.org/W1596365597","https://openalex.org/W1606824214","https://openalex.org/W1607040248","https://openalex.org/W1612453857","https://openalex.org/W1758177211","https://openalex.org/W1930640507","https://openalex.org/W1940010026","https://openalex.org/W1964723886","https://openalex.org/W1965611063","https://openalex.org/W1981808971","https://openalex.org/W1984451181","https://openalex.org/W1990609140","https://openalex.org/W1992147928","https://openalex.org/W2004306067","https://openalex.org/W2007981995","https://openalex.org/W2016206563","https://openalex.org/W2017147035","https://openalex.org/W2022228153","https://openalex.org/W2023808162","https://openalex.org/W2031592188","https://openalex.org/W2033071128","https://openalex.org/W2048355938","https://openalex.org/W2048780543","https://openalex.org/W2048905609","https://openalex.org/W2057842062","https://openalex.org/W2068192624","https://openalex.org/W2072887965","https://openalex.org/W2074460611","https://openalex.org/W2089017767","https://openalex.org/W2090398333","https://openalex.org/W2092043492","https://openalex.org/W2092229972","https://openalex.org/W2101508170","https://openalex.org/W2123357397网址","https://openalex.org/W2123894953","https://openalex.org/W2125267391","https://openalex.org/W2144846366","https://openalex.org/W2153921711","https://openalex.org/W2160041605","https://openalex.org/W2162583406","https://openalex.org/W2163151383","https://openalex.org/W2178626170","https://openalex.org/W2219509443","https://openalex.org/W2281681012","https://openalex.org/W2319440520网址","https://openalex.org/W2493860389","https://openalex.org/W2516137114","https://openalex.org/W2607230115","https://openalex.org/W2912248071","https://openalex.org/W2913210435","https://openalex.org/W2913425508","https://openalex.org/W2951439219","https://openalex.org/W3098296430","https://openalex.org/W3101497863","https://openalex.org/W3151034142","https://openalex.org/W4206053810","https://openalex.org/W64121912","https://openalex.org/W97887531“]，”related_works“：[”https://openalex.org/W3194425546","https://openalex.org/W2949259285","https://openalex.org/W2522171317","https://openalex.org/W2184890012","https://openalex.org/W2155870982","https://openalex.org/W2147098470","https://openalex.org/W2102661759","https://openalex.org/W2042728676","https://openalex.org/W186350370","https://openalex.org/W1482505495“]，”ngrams_url“：”https://api.openalex.org/works/W2147098470/ngrams网站“，”“abstract_inverted_index”：{“The”：[0,99176]，“solution”：[1]，“of”：[2,12,14,36,70102129153]，“games”：[3]，“is”：[4,59,66105]，“a”：[5,21,25,34,60,92117127160]，“key”：[6]，“decision”：[7161]，“problem”：[8]，“in”：[9164170181]，“The”：[10,37,46,64,71,84,89108113130144151154182189]，“上下文”：[11]，“验证”：[13]，“打开”：[15]，“系统“：[16]，”和“：[17,24,63,75148169]，”程序“：[18]，”合成。“：[19]，”给定“：[20]，”游戏“：[22,57114]，”图形“：[23,58]，”规范“：[26139]，”我们“：[27,51140]，”愿望“：[28]，”to“：[29,41,82,88,95106126137]，”确定“：[30]，”if“：[31]，”there“：[32]，”exists“：[33]，”策略“：[35128]，”主角“：[38]，”that“：[39124184]，”允许“：[40]，“select”：[42]，“only”：[43]，“behaviors”：[44]，“fullinging”：[45]，“specification。“：[47]，“In”：[48]，“this”：[49103]，“paper”：[50]，“consider”：[52]，“timed”：[53,61,90109]，“games”，“：[54,86]，“where”：55]，“automaton”：[62110119135146]，“specification”：【65】，“given”：[C7133]，“by”：【68】，“formulas”：【69】，“temporal”：【72】，“logics”：〔73〕，“Ltl”：[74]，“Ctl”。“：[76]，“我们”：[77]，“现在”：[78]，“一个”：[79134]，“自动机理论”：[80]，“方法”：[81,94104158]，“解决”：[83,96]，“寻址”：[85]，“扩展”：[87]，“框架”：[91]，“成功”：[93]，“离散”：[97]，“游戏”。“：[98]，”main“：[100]，”idea“：[101]，”translate“：[107]，”A“：[111]，”modeling“：[112]，”graph“：[115]，”into“：[116]，”tree“：[1118145]，”AT“：[12047]，”acceptance“：[121]，”all“：[122]，”树“：[123]，”corresporate“：%125]，”主角。“：[131]，”Then，“：[132]，”corresponding“：[136]，”intersect“：[141]，”it“：[142]，”with“：[143]，”check“：[149]，”for“：[150167174]，”nonemptivity“：[152]，”resulted“：[155]，”automaton。“：[156]，“我们的”：[157]，“产量”：[159]，“算法”：[162]，“运行”：[163]，“指数”：[165172]，“时间”：[166173]，“控制”：[168]，“双精度”：[171]，“有限。“：[175]，”已获得“：[177]，”算法“：[178]，”是“：[179]，”最优“：[180]，”感知“：[183]，”它们的“：[185]，”计算“：[186]，”复杂性“：[187]，”匹配“：[188]，”已知“：[190]，”下限“：[191]，”界限。“：[192]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2147098470“，”“counts_by_year”：[{“年份”：2020，”“cited_by_count”：1}，{“年度”：2019，”“cited_by_cunt”：1}，}“年份“：2017，”“cited_by-count”“：2}，”“年份”“：2016，”“引用_by_cont”“:1}，创建日期“：”2016-06-24“}