{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,8]]，“日期-时间”：“2024-09-08T08:50:45Z”，“时间戳”：1725785445063}，“引用-计数”：21，“发布者”：“Elsevier BV”，“问题”：“10”，“许可证”：[{“开始”：{'日期-部件“：[[2010,1]]，”日期-时间“：“2010-10-01T00:00:00Z”，“时间戳”：1285891200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2014,10,1]]，“date-time”：“2014-10-01T00:00:00Z”，“timestamp”：1412121600000}，“content-version”：“vor”，“delay-in-days”：1461，“URL“https:\\/www.elssevier.com//”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Information and Computation”]，“published-print”：{“date-parts”：[[2010,10]]}，”DOI“：”10.1016\/j.ic.2009.09.006“，”type“：”journal-article“，”created“：{”date-part“：[2010,6,21]]，”date-time“：”2010-06-21T08:21:14Z“，”timestamp“：127710847000}”，“page”：“1206-1220”，“source”：“交叉参考”，“is-referenced-by-count”：12，“title”：[“不完全信息奇偶博弈的策略构建”]，“prefix”：“10.1016”，“volume”：“208”，“author”：[{“给定”：“Dietmar”，“family”：“Berwanger”，“sequence”：“first”，“affiliation”：[]}，{“give”：“Krishnendu”，“家族”：“Chatterjee”，“序列”：“additional”，“从属”：[]}，“given”：、“sequence”：“additional”，“affiliation”：[]}，{“given”：“Laurent”，“family”：“Doyen”，“sequences”：“extendated”，“filiation“：[]{”given“：”Thomas A.“，”family“：”Henzinger“，”sequence“：”additional“，”affiliation:[]}]，“member”：“78”，“reference”：[{“key”：”10.1016\/j.ic.2009.09.006_bib1“，”“seriest-title”：“Proc.of STACS 1995”，“首页”：“1”，“文章标题”：“关于无限游戏中策略的综合”，“author”：“Thomas”，“year”：“1995”}，{“key”：“10.1016\/j.ic.2009.09.006_bib2”，“series-title”：“Automata，Logics，and infinite games”，”year“：“2002”}、{“key”：”10.1016\/j.ic.2009.09.006 _bib3“，”series-ttle“：”FoCS 1991的Proc.“，”first page“：”368“，”article-title“：“Tree Automata，mu-ca”微积分与确定性”，“author”：“Emerson”，“year”：“1991”}，{“key”：“10.1016\/j.ic.2009.09.006_bib4”，“series-title”：“博弈论”，“au作者”：“Fudenberg”，“年份”：“1991”}、{“密钥”：“101016\/j.ic.2009.09.006_ bib5”，“doi-asserted-by”：“crossref”，“首页”：“274”，”doi“：”10.1016\/0022-0000（84）90034-5“，”article title“：“不完全信息两层博弈的复杂性”，“volume”：“29”，“author”：“Reif”，“year”：“1984”，“journal-title”：“journal of Computer and System Sciences”}，{“key”：”10.1016\/j.ic.2009.09.006_bib6“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Chatterjee，L.Doyen，T.A.Henzinger，j.-F.Raskin，不完全信息欧米伽规则游戏的算法，计算机科学中的逻辑方法3（3:4） (2007).“，”DOI“：”10.2168\/LMCS-3（3:4）2007“}，{”key“：”10.1016\/j.ic.2009.09.006_bib7“，”series-title“：”ICALP 2003的Proc.“，”first page“：ted-by“：”crossref“，”first page“：”149“，“DOI”：“10.1016\/0168-0072（93）90036-D“，”article-title“：“在有限图上玩的无限游戏”，“volume”：“65”，“author”：“McNaughton”，“year”：“1993”，“journal-title”：“Pure and Applied Logic年鉴”}，{“key”：”10.1016\/j.ic.2009.09.006_bib9“，”doi-asserted-by“：”crossref“，“first-page”：“135”，“doi”：“10.1016\/S0304-3975（98）00009-7”，“article-title”有限色图上的无限游戏与无限树上自动机的应用”，“卷”：“200”，“作者”：“Zielonka”，“年份”：“1998”，“期刊标题”：“理论计算机科学”}，{“密钥”：“10.1016\/j.ic.2009.09.006_bib10”，“doi-asserted-by”：“crossref”，“首页”：“389”，“doi”：“101007\/978-3642-59126-6_7”，“文章标题”：语言、自动机和逻辑“，“卷”：“3”，“作者”：“托马斯”，“年份”：“1997”，“新闻标题”：“形式语言手册”}，{“关键”：“10.1016\/j.ic.2009.09.006_bib11”，“非结构化”：“D.Berwanger，L。Doyen，《论不完全信息的力量》，摘自：Proc。FSTTCS 2008，Dagstuhl研讨会论文集08004，Internationales Begegnungs-und Forschungszentrum fuer Informatik（IBFI），2008年2006年“}，{”key“：”10.1016\/j.ic.2009.09.006_bib13“，”series-title“：”TACAS 2008的Proc.“，”first page“：“63”，“article-title”：“Antichains:LTL可满足性和模型检查的替代算法”，“author”：“De Wulf”，“year”：“2008”}，“key”：“10.1016\/j.ic.2009.09.006 _bib14”，“doi-asserted-by”：“crossref”，“unstructured”：“M.De Wuo”如果，L.Doyen，j.-F。拉斯金，解不完全信息博弈的格理论，收录于：Proc。HSCC 2006，LNCS 3927，Springer-Verlag，2006，第153\u2013168页，ISBN 3-540-33170-0。键“：”10.1016\/j.ic.2009.09.006_bib16“，“非结构化”：”F.Somenzi，CUDD:科罗拉多大学决策图包，2005年。可从以下位置获得：.“}，{“key”：“10.1016\/j.ic.2009.09.006_bib17”，“unstructured”：“B.Jobstmann，A.Griesmayer，R.Bloem，作为游戏的程序修复，收录于：CAV程序：计算机辅助验证，LNCS 3576，Springer，2005，第226\u2013238页。“内政部”：“10.1051 \/ita:20013”，“article-title”：“许可策略：从对等游戏到安全游戏”，“volume”：“36”，“author”：“Bernet”，“year”：“2002”，“journal-title“：”Informatique Th\u00e9orique et Applications“}，{“key”：”10.1016\/j.ic.2009.09.006_bib19“，”doi-asserted-by“：”crossref“，”unstructured“：”K.Chatterjee，T.A。Henzinger，《假设保证综合》，摘自：Proc。TACAS 2007，LNCS 4424，Springer，2007，第261\u2013275页。“，“DOI”：“10.1007\/978-3-540-71209-1_21”}，{“key”：“101016\/j.ic.2009.09.006_bib20”，“DOI-asserted-by”：“crossref”，“unstructured”：“A.Bouajjani，P.Habermehl，L.Hol\u0131\u00b4k，T.Touili，T。Vojnar，基于反链的非确定性有限树自动机通用性和包含测试，in：Proc。CIAA 2008，LNCS 5148，Springer，2008，第57\u201367页。“，”DOI“：”10.1007\/978-3-540-70844-5_7“}，{“key”：“10.1016\/j.ic.2009.09.006_bib21”，“DOI-asserted-by”：“crossref”，“unstructured”：“L.Doyen，j.-F.Raskin，基于自动机的模型检查方法的反链，《计算机科学中的逻辑方法杂志》5（1:5）（2009）。”，“DOI”：“10.2168\/LMCS-5（1:5）2009“}]，“container-title”：[“信息与计算”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0890540110001070？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0890540110001070？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,5,30]]，“date-time”：“2019-05-30T08:00:33Z”，“timestamp”：155920323000}，“score”：1，“resource”：{primary“URL”：“https:\\/linkinghub.elsevier.com/retrieve\/pii\/S08905401 10001070“}}，”副标题“：[]，”短标题“：[]，”已发行“：｛”日期部分“：[[2010,10]]｝，”引用文献数“：21，”期刊发行“：｛”发行“：”10“，”已出版印刷“：｛”日期部分“：[[2010,10]]｝｝｝，”备选id“：[”S08905401100010070“]，”URL“：”http:\/\/dx.doi.org/10.1016\/j.ic.2009.09.006“，”关系“：｛｝，”ISSN“：[”0890-5401“]，”ISSN类型“：[｛”value“：”0890-5401“，”type“：”print“｝]，”subject“：[]，”发布了“：{“date-parts”：[[2010,10]]}}}