{“id”：“https://openalex.org/W2053174510网址“，”doi“：”https://doi.org/10.4204/eptcs.57.3“，”title“：”单块时间自动机上的双人可及性价格游戏“，”display_name“：”单块时间自动车上的双人可及性定价游戏“，“publication_year”：2011，“publiction_date”：“2011-07-04”，“ids”：{“openalex”：“https://openalex.org/W2053174510网址“，”doi“：”https://doi.org/10.4204/eptcs.57.3“，”mag“：”2053174510“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：null，”pdf_url”：“https://arxiv.org/pdf/107.1199，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://arxiv.org/pdf/107.1199“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5048848502“，”display_name“：”Micha\u0142 Rutkowski“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I39555362“，”display_name“：”沃里克大学“，”ror“：”https://ror.org/01a77tt86“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I39555362“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Michal Rutkowski“，”raw _ afiliation_strings“：【”英国华威大学计算机科学系“】，”affiliations“：[{”raw _affiliation_strong“：”英国华威克大学计算机科学部“，”institution_ids“：[“https://openalex.org/I39555362“]｝]｝]，”countries_distict_count“：1，”institutions_disict_count“：1，”corresponding_author_ids“：[”https://openalex.org/A5048848502“]，”对应的机构ID“：[”https://openalex.org/I39555362“]，”apc_list“：｛”value“：0，”currency“：”USD“，”value_USD“：0，”出处“：”doaj“｝，”apc_payed“：｛”value“：0，”currency“：”USD“，”value_USD“：0，”出处“：”doaj“｝，”fwci“：1.709，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：8，”cited_by_percentle_year“：｛”min“：85，”max“：86｝，”biblio“：｛“volume”：“57”，“issue”：null，“first_page”：“31”，“last_page”：“46”｝，“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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9944，“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.9895，“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/satisfiability模块理论“，”“display_name”：“可满足模理论”，“score”：0.516936}，{“id”：“https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.506258}]，”concepts“：[{”id“：”https://openalex.org/C136643341，“wikidata”：https://www.wikidata.org/wiki/Q1361526“，”display_name“：”可达性“，”level“：2，”score“：0.9382283}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.73599404}，{”id“：”https://openalex.org/C56049555，“wikidata”：https://www.wikidata.org/wiki/Q1276570“，”display_name“：”EXPTIME“，”level“：4，”score“：0.6643483}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6624645}，{”id“：”https://openalex.org/C2777669093，“wikidata”：https://www.wikidata.org/wiki/Q17141570“，”display_name“：”可达性问题“，”level“：3，”score“：0.5579756}，{”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.52076715}，{”id“：”https://openalex.org/C30788636，“wikidata”：https://www.wikidata.org/wiki/Q7805517“，”display_name“：”Timed automaton“，”level“：3，”score“：0.4690975}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.46862605}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.34392184}，{”id“：”https://openalex.org/C144237770，“wikidata”：https://www.wikidata.org/wiki/Q747534“，”display_name“：”数理经济学“，”level“：1，”score“：0.33580017}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.24523574}，{”id“：”https://openalex.org/C179799912，“wikidata”：https://www.wikidata.org/wiki/Q205084“，”display_name“：”计算复杂性理论“，”level“：2，”score“：0.2389147｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.21264017}，{”id“：”https://openalex.org/C197685441，“wikidata”：https://www.wikidata.org/wiki/Q500716“，”display_name“：”PSPACE“，”level“：3，”score“：0.08607289}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：true，”landing_page_url“：null，”pdf_url”：“https://arxiv.org/pdf/107.1199，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：false，”landing_page_url“：”https://doaj.org/article/7d094d1c7f254651a33e45e9e937524e“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ:开放获取期刊目录）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_DOAJ“：false，”is_core“：false，”host_organization“：null，”host_organization_name“：null，”host_organization_lineage“：[]，”host_organization_lineage_names“：[]，”type“：”repository“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false}，{“is_oa”：true，”landing_page_url“：”http://arxiv.org/abs/107.1199，“pdf_url”：http://arxiv.org/pdf/107.1199，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.448550/arxiv.1107.1119“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，”type“：”metadata“｝，”license“：null，”license_id“：null，”version“：null｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：null，”pdf_url“：”https://arxiv.org/pdf/107.1199，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[”https://openalex.org/W2053174510网址","https://openalex.org/W3100270759“]，”referenced_works_count“：10，”referrenced_works“：[”https://openalex.org/W1582578515","https://openalex.org/W1962072139","https://openalex.org/W1971094484","https://openalex.org/W2081128931","https://openalex.org/W2101508170","https://openalex.org/W2130136014","https://openalex.org/W2508247887","https://openalex.org/W2991802125","https://openalex.org/W4299674238","https://openalex.org/W4300523198“]，”related_works“：[”https://openalex.org/W64121912","https://openalex.org/W4293248739","https://openalex.org/W2948165904","https://openalex.org/W2162889538","https://openalex.org/W2153269726","https://openalex.org/W2077321406","https://openalex.org/W2065323166","https://openalex.org/W1750615905","https://openalex.org/W1565729639","https://openalex.org/W1554767603“]，”ngrams_url“：”https://api.openalex.org/works/W2053174510/ngrams网站“，”abstract_inverted_index“：｛”We“：[0]，”study“：[1]，”two“：[2]，”player“：[3,25]，”可达性价格“：[4]，”games“：[5]，”on“：[6]，”single clock“：[7]，”timed“：[8]，”自动机“：[9]，”The“：[10]，”problem“：[11]，”is“：[12,56]，”as“：[13]，”follows:“：[14]，”give“：[15]，”a“：[16，36，61，68]，”状态“：[17]，”of“：[18，30，51，63，74]，”The“：[19，23，31，48，72，91，97]，”自动机“：[20]，”确定“：[21]，”是否“：[22]，”第一“：[24]，”可以“：[26,39]，”保证“：[27]，”达到“：[28]，”一“：[29]，”指定“：[32]，”目标“：[33,37]，”位置。“：[34]，”If“：[35]，”location“：[38]，”be“：[40]，”reached“：[41]，”then“：[42]，”we“：[43,59]，”also“：44]，”want“：[45]，”to“：[46,81]，”compute“：%47]，”optimal“：+49,92]，”price“：[50]，”doing“：[52]，”so.“：[53]，”Our“：54]，”contribution“：55]，”twoufold。“：[57]，”第一，“：[58]，”开发“：[60]，”理论“：[62,78]，”成本“：[64]，”功能“：[65]，”其中“：[66,95]，”提供“：[67]，”综合“：[69]，”方法论“：[70]，”for“：[71,89]，”分析“：[73]，”this“：[75]，”问题。“：[76]，”此“：[77]，”允许“：[79]，”我们“：[80]，”建立“：[82]，”我方“：[83]，”第二“：[84]，”贡献“：[85]，”an“：[86]，”EXPTIME“：[87]，”算法“：[88]，”计算“：[90]，”可达性“：[93]，”价格“：[94]，”改进“：[96]，”现有“：[98]，”3EXPTIME:[99]，”上部“：[100]，”绑定。“：[101]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2053174510“，”“counts_by_year”：[{“年份”：2020，”“cited_by_count”：2}，{“年度”：2017，”“引用的_by_cunt”：2%n，{”年“：2014，”引用的_by_count“：2}.，{年“：2013，”引的_by-count“:1}，”年“:2012，”“引的_by-count”“：1}]，”更新日期“：”2024-06-26T19:24:36.816939“，”创建日期“：“2016-06-24”}