{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,4,12]，“日期时间”：“2024-04-12T07:17:17Z”，“时间戳”：1712906237404}，“出版商位置”：“查姆”，“参考计数”：16，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319216676”，“类型”：”打印“}，{“值”：“9783319216683”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-ports”：[2015,1,1]]，:00Z“，”timestamp“：1420070400000}，”content-version“：”tdm“，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2015]]}，”DOI“：”10.1007\/978-3319-21668-3_15“，”type“：”book-chapter“，”created“：{”date-part“：[[2015,7,13]]，“日期时间”：“2015-07-13T15:08:53Z”，“时间戳”：1436800133000}，“页面”：“251-267”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“交叉引用”，“is-referenced-by-count”：9，“标题”：[“多维Mean-Payoff游戏的Pareto曲线”]，“前缀”：“10.1007”，”作者：[{“给定”：“Romain”，“家族”：“Brenguier”，“序列”：“第一”，“从属关系”：[]}，{“给定”：“Jean-Fran\u00e7ois”，“family”：“Raskin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2015,7,14]]}，“reference”：[{“key”：“15_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：”publisher“，”first page“333”，“doi”：“10.1007\/978-3642-0059 6-1_24“，“卷纸”：“软件科学和计算结构基础”，“author”：“R Alur”，“year”：“2009”，“unstructured”：“Alur，R.，Degorre，A.，Maler，O.，Weiss，G.：关于由mean-payoff条件定义的欧米伽语。摘自：de Alfaro，L.（ed.）FOSSACS 2009。LNCS，第5504卷，第333\u2013347页。Springer，Heidelberg（2009）“}，{”key“：”15_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“301”，”doi“：”10.1007\/978-3642-28729-9_20“，”volume-title“：“软件科学和计算结构基础”，“author”：“P Bouyer”，“year”：“2012”，“unstructured”：“”Bouyer，P.，Brenguier，R.，Markey，N.，Ummels，M.：有序目标的并发游戏。收录：Birkedal，L.（编辑）FOSSACS 2012。LNCS，第7213卷，第301\u2013315页。Springer，Heidelberg（2012）“}，{“key”：“15_CR3”，“unstructured”：“Brenguier，R.，Raskin，J.-F.：多维均值对赌游戏的最优值。研究报告，University\u00e9 Libre de Bruxelles（U.L.B.），比利时，2014年10月。\n https:\/\/hal.archives-ouvertes.fr\/hal-00977352“}，{“问题”：“2”，“密钥”：“15_CR4”，“doi-asserted-by”：“发布者”，“首页”：“97”，“doi”：“10.1007\/s10703-010-0105-x”，“卷”：“38”，“作者”：“L Brim”，“年份”：“2011”，“非结构化”：“Brim，L.、Chaloupka，J.、Doyen，L.，Gentilini，R.、Raskin，J.-F.：均值对均值游戏的更快算法。形式方法系统。设计。38（2），97\u2013118（2011）”，“期刊标题”：“正式方法系统。设计。“}，{”key“：”15_CR5“，”doi-asserted-by“：”publisher“，”first page“：“541”，“doi”：“10.2307\/2303424”，“volume”：“50”，“author”：“R Buck”，“year”：“1943”，“unstructured”：“Buck，R.：空间划分。Am.Math.Monthly 50，541\u2013544（1943）”，“journal-title”：“Am.Math.Monthly”}，“{”密钥“：”15 _CR6“，”series title“：“计算机科学课堂讲稿”，“doi-asserted-by“：”publisher“，”first page“：”117“，“doi”：“10.1007\/978-3-540-45212-6_9”，“volume-title”：“嵌入式软件”，“author”：“A Chakrabarti”，“year”：“2003”，“unstructured”：“Chakrabarti，A.，de Alfaro，L.，Henzinger，T.A.，Stoelinga，M.：资源接口。收录：Alur，R.，Lee，I.（编辑）EMSOFT 2003。LNCS，第2855卷，第117\u2013133页。Springer，Heidelberg（2003）“}，{”key“：”15_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“325”，”doi“：”10.1007\/11672142_26“，”volume-title“：“STACS 2006”，”author“：”K Chatterjee“，”year“：”2006“，”unstructured“：”Chatterjee，K.，Majumdar，R.，Henzinger，T.A.：多目标马尔可夫决策过程。收录：Durand，B.，Thomas，W.（编辑）STACS 2006。LNCS，第3884卷，第325\u2013336页。Springer，Heidelberg（2006）“}，{”key“：”15_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“500”，”doi“：”10.1007\/978-3642-40184-8_35“，”volume-title“：“CONCUR 2013\u2013 Concurrency Theory”，“author”：“K Chatterjee”，“year”：“2013”，“unstructured”：“Chatterjee，K.，Velner，Y.：多维平均对战游戏的超平面分离技术。在：D\u2019Argenio，P.R，Melgratti，H.（编辑）CONCUR 2013\u2013并发理论。LNCS，第8052卷，第500\u2013515页。Springer，Heidelberg（2013）“}，{”key“：”15_CR9“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-1-4613-0039-7“，“volume-title”：“离散几何讲座”，“author”：“J Matou\u0161ek”，“year”：“2002”，“unstructured”：“Matou\u 0161ek.，J.：离散几何讲座，第212卷。Springer，New York（2002）“}，{”issue“：“4”，”key“：“15_CR10”，”doi-asserted-by“：”publisher“，”first page“：”765“，”doi“：”10.1145 \/32276.322287“，”volume“:”28“，”author“：”CH Papadimitriou“，“year”：“1981”，”unstructured“：”Papadimtriou，C.H.：关于整数编程的复杂性。J.ACM（JACM）28（4），765\u2013768（1981）“，”journal-al-title“：”J.ACM（JACM）“}，{”key“：”15_CR11“，”unstructured“：”Papadimitriou，C.H.，Yannakakis，M.：关于权衡的近似性和网络资源的最佳访问。摘自：第41届计算机科学基础年度研讨会，论文集，第86页\u201392。IEEE（2000）“}，{“key”：“15_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Pnueli，A.，Rosner，R.：关于反应性模块的合成。见：POPL 1989，pp.179\u2013190。ACM Press（1989）”，“DOI”：“10.1145\/75277.75293”｝，｛“key”：“15_CR13”，“volume title”：“Handbook of Computational Geometry”，“author”：“J-R Sack”，“year”：“1999”，“nonstructured”：“Sack，J.-R.，Urrutia，J.:Handbook of Computational Geometry.Elsevier，Amsterdam（1999）”｝，｛“key”：“15_CR14”，“volume title”：“Theory of Linear and Integer Programming”，“author”：“A Schrijver”，“年份”：“1998年”，“非结构化”：“Schrijer，A.：线性和整数规划理论。Wiley，Chichester（1998）“}，{“key”：“15_CR15”，“unstructured”：“Velner，Y.，Chatterjee，K.，Doyen，L.，Henzinger，T.A.，Rabinovich，A.，Raskin，J.-F.：多均值对弈和多能量游戏的复杂性。CoRR，abs \/1209.3234（2012）”}，}“issue”：“1”，“key“15_CR16”，“doi-asserted-by”：“publisher”，“first page”：”343“，“doi”：“10.1016”0304-3975（95）00188-3“，“volume”：“158”，“author”：“U Zwick”，“year”：“1996”，“unstructured”：“Zwick，U.，Paterson，M.：图上平均回报游戏的复杂性。TCS 158（1），343\u2013359（1996）“，”日记标题“：”TCS“}]，”容器标题“：[”计算机辅助验证“，”计算机科学课堂讲稿“]，”原文标题“：[]，”链接“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-319-21668-3_15“，”内容类型“：”未指定“，”content-version“：”vor“，”intended-application“：”相似性检查“}”]，“deposed”：{“date-parts”：[[2019,7,23]]，“date-time”：“2019-07-23T00:14:25Z”，“timestamp”：1563840865000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3319-21668-3_15”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“[2015]}”，“ISBN”：[“9783319216676”，“978331.9216683”]，“references-count”：16，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-319-21668-3_15”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”：“2015年7月14日”，“订单”：1，“名称”：“first_online”，“标签”：“第一在线”，“群组”：{“名称”：“ChapterHistory”，“label”：“Cha章历史”}}]}}