{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,12,30]]，“日期-时间”：“2022-12-30T00:30:32Z”，“时间戳”：1672360232838}，“引用-计数”：39，“发布者”：“IEEE”，“许可证”：[{“开始”：{“日期-零件”：[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00 Z“，”timestamp“：1624924800000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.1 5223\/policy-029“}，{“开始”：{“日期部分”：[[2021,6,29]]，“日期-时间”：“2021-06-29T00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-037”｝]，“资助者”：[｛“doi”：“10.13039\/50101100002428”，“name”：“奥地利科学基金”，“doi断言者”：“出版商”｝，｛“doi”：“10.13039\/100011102”，“name”：“第七框架计划”，“doi断言者”：“publisher”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2021,6,29]]}，”DOI“：”10.1109\/lics52264.2021.9470739“，”type“：”proceedings-article“，”created“：{”date-ports“：[2021,7,7]]，”date-time“：”2021-07T20:14:07Z“，”timestamp“：1625688847000}，”源“：”Crossref“，“is-referenced-by-count”：1，“title”：[“概率验证的符号时空权衡”]，“prefix”：“10.1109”，“author”：[{“given”：“Krishnendu”，“family”：“Chatterjee”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Wolfgang”，“家族”：“Dvorak”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Monika”，“家庭”：“Henzinger”，“serquence”“”：“additional”，“affiliation”：[]}，{“given”：“Alexander”，“family”：“Svozil”，“sequence”：“addressional”，“abfiliation“：[]2]，“member”：“263”，“reference”：[{“key”：”ref39“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-59126-6_7“}，”{“密钥”：“ref38”，“doi-assert-by”：”publider“，“doi”：“10.1016\/002 0-0190（82）90136-3“}，{“key”：“ref33”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/3-540-45315-6_18”}，{“key”：“ref32”，“author”：“howard”，”年份“：“1960”，“journal-title”：“Dynamic Programming and Markov Processes”}：“以线性符号步数计算强连接组件”，“author”：“gentilini”，“year”：“2003”，“journal-title”：“SODA”}，{“key”：“ref37”，“first-page”：“303”，“article-title“：“二进制决策图”，“author”:“somenzi”，”year“：”1999“，”journal-title“:”Calculational System Design“}，“key“：”ref36“，”doi-asserted-by“：”publisher“，”doi“：“10.1002\/SERIES1345”}，{“key”：“ref35”，“首页”：“585”，“article-title”：“PRISM 4.0:概率实时系统的验证”，“author”：“kwiatkowska”，“year”：“2011”，“journal-title“：”CAV“}，”{“key”：“ref34”，“first-page”：“8:1”，“article-title”：“未知MDP中欧米伽规则约束下基于学习的均值-方差优化”，“author”：“kret\u00ednsk\u00fd”，“年份”：“2018”，“journal-title”：“CONCUR”}，{“key”：“ref10”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2933575.2935304，{“键”：“参考12”，“首页”：“7:1”，“article-title”：“图和MDP中streett目标的近线性时间算法”，“author”：“chatterjee”，“year”：“2019”，“journal-title“：”CONCUR“}，{“key”：“ref13”，“first-page”：“1318”，“article-titel”：“概率验证中最大终成分分解及相关图问题的更快动态算法”：“chatterjee”，“year”：“2011”，“journal-title”：“第五届ACM-SIAM离散算法年会论文集”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2597631”}“”：“10.1007\/978-3-319-96142-2_13”}，{“key”：“ref17”，“首页”：“32”，“article-title”：“limsup和liminf目标的概率系统”，“author”：“chatterjee”，“year”：“2007”，“journal-title“：”ILC“}，”{“密钥”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2699430”}“，”文章标题“：“$\\widetilde O\\left（{m\\sqrt n}\\right）$total update time中的减少的单源可达性和强连接组件”，“author”：“chechik”，“year”：“2016”，“journal-title”：“FOCS”}，{“key”：“ref28”，“doi-asserted-by”：“crossref”，“first page”：”1“，“doi”：“10.1145\/322234.32235”，《article-title》：“On-Line Edge-Deletion Problem”，“volume”：“28”，“author”：“even”，“year”：“1981”，“journal-title”：“J ACM”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0304-3975（96）00228-9”}、{“密钥”：“ref27”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/978-3-319-63390-9_31“物品标签”：“关于马尔可夫决策过程中多个平均值目标的两种观点”，“作者”：“br \u00e1zdil”，“年份”：“2011”，“新闻标题”：“LICS 2011”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/136035.13643”}，“doi-asserted-by”：“publisher”，“doi”：“10.1109 \/TC.1986.1676819”}，{“key”：“ref8”，“author”：“chatterjee”，“year”：“2007”，“journal-title”：“随机？-常规游戏”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/3313276.3316335”}，{“key”：“ref9”，“first page”：：“2341”，“article-title”：“图上符号计算的下限：强连通分量、活性、安全性和直径”，“author”：“chatterjee”，“year”：“2018”，“journal-title“：“第五届ACM-SIAM离散算法研讨会论文集”}，“author”：“baier”，“year”：“2008”，“journal-title”：“模型检查原理”}，{“key”：“ref20”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/876638.876643”}、{“密钥”：“ref22”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/3-540-61474-5_93克拉克”，“年份”：“1999”，“新闻标题”：“模型检查”}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/210332.210339”}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/3060139”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：}“date-parts”：[[2021,6,29]]}，“end”：{“date-parts”：[2021,7,2]}}，title“：[]，”链接“：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/9470497\/9470739.pdf？arnumber=9470739”，“content-type”：“unspecified”，“内容版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“date-parts”：[2022,5,10]]，“日期-时间”：“2022-05-10T15:46:20Z”，“时间戳”：1652197580000}，“分数”：1，“资源”：{“主”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470739\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2021,6,29]]}，”引用计数“：39，”URL“：”http://\/dx.doi.org\/10.109\/lics52264.2021.9470739“，”关系“：{}”，“主题”：[[]，”已发布“：{”日期-部件“：[2021,6,29]6,29]]}}}