{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:58:35Z”，“时间戳”：1725494315466}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540755951“}]，”内容域“用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-75596-8_14”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，”page“177-191”，“source”：”Crossref“，“is-referenced-by-count”：3，“title“：[“计算碰撞游戏的游戏值”]，“prefix”：“10.1007”，“author”：[{“given”：“Thomas”，“family”：“Gawlitka”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Helmut”，“家族”：“Seidl”，“序列”：“additional”，“从属关系”：[]}，“member”：“297”，“reference”：[}“volume-title”：“逻辑学与计算机科学基础研究”，“年份”：“2001”，“author”:“A.Arnold”，“key”：”14 _CR1“，”非结构化“：“Arnold，A.，Niwinski，D.：\u03bc-Calculus.In:Studies In Logic and The Foundations of Computer Science，vol.\u00a0146，North-Holland，Amsterdam（2001）”}，{“key”：“14_CR2”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first page”：”381“doi”：“10.1007 \/978-3540-39866-0_38”，“volume-title”：“Proc.5th Int.Andrei Ershov Memorial Conf.Perspectives of System Informatics”，“author”：“H.Bjorklund”，“year”：“2004”，“unstructured”：“Bjorklund，H.，Sandberg，S.，Vorobyov，S.：通过迭代改进进行模型检查的复杂性：伪布尔框架。In:Broy，M.，Zamulin，A.V.（eds.）PSI 2003。LNCS，第u00a02890卷，第381\u2013394页。Springer，Heidelberg（2004）“}，{”key“：”14_CR3“，”first page“：“178”，”volume-title“：”LICS“，”author“：”K.Chatterjee“，”year“：”2005“，”unstructured“：”Chatterjie，K.，Henzinger，T.A.，Jurdzinski，M.：Mean-payoff平价游戏。摘自：LICS，pp.178\u2013187。IEEE计算机协会，洛斯阿拉米托斯（2005）“}，{“问题”：“4”，“密钥”：“14_CR4”，“发布者”断言的doi，“第一页”：“371”，“doi”：“10.1145\/9990010.990011”，“卷”：“12”，“作者”：“M.Chechik”，“年份”：“2003”，“非结构化”：“Chechik，M.，Devereux，B.，Easterbrook，S.M.，Gurfinkel，A.：多值符号模型检查。ACM Trans.Softw.Eng。Methodol公司。\u00a012（4），371\u2013408（2003）“，“日记标题”：“ACM事务。柔和。工程方法。“}，{”key“：”14_CR5“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first-page“：”462“，”doi“：”10.1007\/11513988_46“，”volume-title“：“CAV”，”author“：”A.Costan“，”year“：”2005“，”unstructured“：”Costan，A.，Gaubert，S.，Goubault，E.，Martel，M.，Puto，S.：程序静态分析中计算不动点的策略迭代算法。收录：Etessami，K.，Rajamani，S.K.（编辑）CAV 2005。LNCS，卷\u00a03576，第462页\u2013475。Springer，Heidelberg（2005）“}，{”key“：”14_CR6“，”first page“：“368”，”volume-title“：”FOCS“，”author“：”E.A.Emerson“，”year“：”1991“，”unstructured“：”Emerson，E.A.，Jutla，C.S.：树自动机，mu-calculus和确定性（扩展摘要）。摘自：FOCS，第368\u2013377页。IEEE Computer Society Press，Los Alamitos（1991）“}，{“key”：“14_CR7”，“unstructured”：“Gawlitza，T.，Reineke，J.，Seidl，H.，Wilhelm，R.：重审多项式精确区间分析。技术报告，TU M\u00fcnchen（2006）”}，[key“：”14_CR8“，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first-page”：“300”，“doi”：“10.1007\/978-3-540-71316-6_21“，”volume-title“：”ESOP 2007“，”author“：”T.Gawlitza“，”year“：”2007“，“unstructured”：”Gawlitsa，T.，Seidl，H.：通过策略迭代精确计算不动点。摘自：De Nicola，R.（编辑）ESOP 2007。LNCS，第u00a04421卷，第300\u2013315页。施普林格，海德堡（2007）“}，{“键”：“14_CR9”，“系列标题”：“计算机科学讲义”，“doi断言”：“crossref”，“第一页”：“686”，“doi”：“10.1007\/978-3-540-28629-5_53”，“卷标题”：“MFCS”，“作者”：“H.Gimbert”，“年份”：“2004”，“非结构化”：“Gimbert，H.，Zielonka，W.：你什么时候可以进行位置游戏？收录人：Fiala，J.、Koubek，V.、Kratochv\u00edl，J.（编辑）MFCS 2004。LNCS，第\u00a03153卷，第686\u2013697页。Springer，Heidelberg（2004）“}，{”key“：”14_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“428”，”doi“：”10.1007\/11539452_33“，”volume-title“：“CONCUR”，”author“：”H.Gimbert“，”year“：”2005“，”unstructured“：”Gimbert，H.，Zielonka，W.：你可以在没有任何记忆的情况下进行最佳游戏。收录：Abadi，M.，de Alfaro，L.（编辑）CONCUR 2005。LNCS，卷\u00a03653，第428\u2013442页。Springer，Heidelberg（2005）“}，{”key“：“14_CR11”，”doi-asserted-by“：”publisher“，”first page“：”359“，”doi“：”10.1287\/mnsc.12.5.359“，”volume“：‘12’，”author“：”A.J.Hoffman“，”year“：”1966“，”unstructured“：”Hoffman，A.J.，Karp，R.M.：On Nonterminating Stochastic Games.Management Sci.\u00a012，359\u2013370（1966）“，”journal-title“：“管理科学”}，{“volume-title“：“动态规划与马尔可夫过程”，“年份”：“1960年”，“作者”：“R.Howard”，“关键”：“14_CR12”，“非结构化”：“Howard，R.：动态规划与Markov过程”。Wiley，New York（1960）“}，{“key”：“14_CR13”，“unstructured”：“Jrklund，H.，Nilsson，O.，Svensson，O.和Vorobyov，S.：受控线性规划问题。技术报告，DIMACS（2004）”}，}，“key“：”14_CR14“，”series-title“：”计算机科学课堂笔记“，”doi-asserted-by“：”publisher“，”first page“：“290”，“doi”：“10.1007\/3-540-46541-3_24”，“”volume-title“：”STACS 2000“，”author“：”M.Jurdzi\u0144ski“，”year“：”2000“，“unstructured”：“Jurdzi \u0144 ski，M.：解决平价游戏的小进度措施。收录：Reichel，H.，Tison，S.（编辑）STACS 2000。LNCS，第u00a01770卷，第290\u2013301页。Springer，Heidelberg（2000）“}，{“key”：“14_CR15”，“unstructured”：“Puri，A.：混合与离散系统理论。加州大学伯克利分校博士论文（1995）”}，“{”key“：”14_CR16“，”doi-asserted-by“：”crossref“，”doi“：”10.1002\/9780470316887“，”volume-title“：”Markov决策过程：离散随机动态规划“，”author“：”M.L。Puterman”，“年份”：“1994年”，“非结构化”：“Puterman，M.L.：马尔可夫决策过程：离散随机动态规划。Wiley，New York（1994）“}，{“key”：“14_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Seidl，H.：持续过渡系统的模态\u03bc微积分。摘自：IEEE计算机科学逻辑Conf.on Logic In Computer Science（LICS），pp.128\u2013137（1996）”，“doi”：“10.1109 \/LICS.1996.561312”}，}doi-asserted-by“：”crossref“，”first page“：”354“，”doi“：”10.1007\/11562948_27“，”volume-title“：”ATVA“，”author“：”S.Shoham“，“year”：“2005”，”unstructured“：”Shoham，S.，Grumberg，O.：多值模型检验游戏。收件人：Peled，D.A.，Tsay，Y.K.（编辑）ATVA 2005。LNCS，第u00a03707卷，第354\u2013369页。Springer，Heidelberg（2005）“}，{”key“：”14_CR19“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“202”，”doi“：”10.1007\/10722167_18“，”volume-title“：“CAV”，”author“：”J.V\u00f6ge“，”year“：”2000“，”unstructured“：”V\u00f6ge，J.，Jurdzinski，M.：求解奇偶博弈的离散策略改进算法。摘自：艾默生，E.A.，西斯特拉，A.P.（编辑）CAV 2000。LNCS，卷\u00a01855，第202\u2013215页。Springer，Heidelberg（2000）“}]，“container-title”：[“计算机科学课堂讲稿”，“用于验证和分析的自动化技术”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_14.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2021,4,27]]，“日期时间”：“2021-04-27T10:25:21Z”，“时间戳”：1619519121000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-75596-8_14”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[null]}，“ISBN”：[“9783540755951”]，“references-count”：19，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_14“，”关系“：{}，”主题“：[]}}