{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,6]]，“日期-时间”：“2024-04-06T14:41:18Z”，“时间戳”：1712414478400}，“参考-计数”：46，“出版商”：“IEEE”，“许可证”：[{“开始”：{'日期-部件“：[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“vor”，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2021,6,29]]，“日期时间”：“2021-06-29T00:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期零件”：[[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.15223\/policy-037”}]，“funder”：[{“doi”：“10.13039\/501100002428”，“name”：“奥地利科学基金”，“doi-asserted-by”：“publisher”}]，“content-domain”：{“domain”[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021,6,29]]}，“DOI”：“10.1109\/lics52264.2021.9470547”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，”source“Crossref”，“is-referenced-by-count”：9，“title”：[“定量和近似值监控“]”，“前缀”：“10.1109”，“作者”：[{“given”：“Thomas A.”，“family”：“Henzinger”，“sequence”：“first”，“affiliation”：[]}：“ref38”，“doi-asserted-by”：“publisher”，“doi”：“10.1007 \/978-3-030-60508-7_1”}，{“key”：“ref33”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/s00236-016-0274-1”}/1805950.1805953“}，{“key”：“ref30”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3642-02658-4_14”}，{“key”：“ref37”，“DOI-asserted-by”：“crossref”，”DOI“：“10.1609\/aaaai.v32i1.12107”，“article-title”：“通过形式方法的安全强化学习：通过证明和学习实现安全控制”，“volume”：”32“author”：“fulton”，“year”：“2018”，“journal-title“：《AAAI人工智能会议论文集》，{“key”：“ref36”，“doi断言者”：“publisher”，“doi”：“10.1145\/2330667.2330686”}，{“key”：“ref35”，“文章标题”：“定量监控自动机的监控逻辑”，“作者”：“paul”，“年份”：“2017”，“期刊标题”：“第42届计算机科学数学基础国际研讨会（MFCS 2017）”}，{“key”：“ref34”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3662-53413-7_2”}2018年“，”新闻标题“：“时态逻辑和公平离散系统”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3209108.3209194”}、{“key”：”ref12“，“article-title”：“监视事件频率”，“author”：“ferr\u00e8re”，“year”：“2020”，“journal-title“：”第28届EACSL计算机科学逻辑年会（CSL 2020）：“publisher”，“DOI”：“10.1007\/978-3-319-67531-2_2”}，{“key”：“ref14”，“DOI-asserted-by”：“publicher”，“DI:”10.1145\/3290365：“软件技术和理论计算机科学基础国际会议”}，{“key”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-77395-5_11”}759-9_9“}，{“key”：“ref19”，“首页”：“61”，“author”：“havelund”，“年份”：“2018”，“journal-title”：“携带数据的监控事件”}，{”key“：”ref28“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.tcs.2019.11.018“：”ref27“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/3290363”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s00450-013-0251-7”}key“：”ref5“，”doi-asserted-by“：”crossref“，”first-page“：”80“，”doi“：“10.1016\/S1571-0661（04）80578-4”，“article-title”：“运行时监控的计算分析：java-mac1的基础知识1本研究部分由onr n00014-97-1-0505、nsf ccr-9988409、nsf ccr-0086147、nsf cise-9703220和aro daad19-01-1-0473支持”，“volume”：“70”，“author”：“kim”，“year”：“2002”，“journal title”：“理论计算机科学电子笔记”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/1181340_38”}“年份”：“0”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2000799.2000800”}“：”publisher“，”doi“：”10.1007\/3-540-45061-0_79“}，{”key“：”ref45“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10703-011-0114-4”}，{“key”：“ref22”，“doo-asserted-by”：”publisher“，”doi“：”10.1007\/s10703-012-0182-0“}，}“key”：”ref21“，”doi-assert-by“：”publister“，”doi“：“10.107\/978-3662-44584-6_19”}“，{”key“：”ref42“，”首页“：”7:1“，”文章le-title“：”显示器能做到的最好“，”volume“：”183“，”author“：”aceto“，”year“：“0”}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-65765-3_11”}key“：”ref44“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-15497-3_6“}，{”key“：“ref26”，“article-title”：“基于自动化的流处理”，“author”：“alur”，“year”：“2017”，“journal-tittle”：“第44届自动语言与编程国际学术讨论会（ICALP 2017）”}，{“key”：”ref43“，“first-page”：“1”，“article-title”：“我们可以在不可靠的频道上监视什么？”，“author”:“kauffman”，“year”：”2020“journal-title“：“用于技术转让的软件工具国际期刊”}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1007”\/s10703-018-0319-x“}]，“event”：{“name”：“2021年第36届ACM \/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{date-parts”：[2021,6,29]}，“end”：{data-parts“：[2021,7,2]]}}}}，“container-title”：[“2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/947097\/94470501\/09470547.pdf？arnumber=9470547”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”“”：[2023,1,3]]，“日期时间”：“2023-01-03T07:31:12Z”，“时间戳”：1672731072000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/ieeexplore.ieee.org\/document\/9470547\/”}}，”副标题“：[]，”短标题“：[]，”发布“：{”日期部分“：[2021,6,29]]}，\\/dx.doi.org\\10.1109\/lics52264.2021.9470547“，”关系“：{}，”主题“：[]，“已发布”：{“日期部分”：[[2021,6,29]]}}