{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,6,6]]，“日期-时间”：“2024-06-06T18:01:34Z”，“时间戳”：1717696894154}，“参考-计数”：29，“出版商”：“电气与电子工程师学会（IEEE）”，“许可证”：[{“开始”：{-“日期-零件”：[2019,1]]，”日期-时间“：”201 9-01-01T00:00:00Z“，“timestamp”：1546300800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode”}]，“资助者”：[{“name”：“国家科技重点计划”，“奖项”：[“2017YFB120110508”]}，{“DOI”：“10.13039\/501100001809”，“name”:“国家自然科学基金”，“DOI-asserted-by”：“publisher”，“award”：[“U1734211”]}，{“name”：“National CSC Scholarship”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”:[“IEEE Access”]，“published-print”：{“date-parts”：[[2019]]}4]]，“日期时间”：“2019-08-14T20:01:17Z”，“时间戳”：1565812877000}，“页面”：“112015-112025”，“来源”：“Crossref”，“is-referenced-by-count”：8，“标题”：[“车辆排系统中的模型检查纵向控制”]，“前缀”：“10.1109”，”volume“：”7“，”author“：[{“ORCID”：“http://\/ORCID.org\/00000-0001-8070-9092”，“authenticated-ORCID”：false，“给定”：“Cong”，“family”：“彭”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Marcello M.”，“family”：“Bonsange”，“sequence”：“additional”，“affaliation”:[]}，{”given“：”Zhongwei“，”family“：”Xu“，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，“doi-asserted-by”：”publisher“，”doi“：”10.1145\/1410055“}，：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1186\/1687-1499-2012-168”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TVT.2014.2315741”}rech“，“年份”：“2018”，“新闻标题”：“SENSORS”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICCSEC.2017.8446824”}.1676“}，{”key“：”ref17“，”doi-asserted-by“：”publisher“，”doi“：“10.1109\/TITS.2017.2706010”｝，｛“key”：“ref18”，“doi断言者”：“publisher”，“doi”：“10.1016\/j.ap.2017.12.012”｝，｛“key”：“ref19”，“doi断言者”：“publisher”，“doi”：“10.1109\/TITS.2017.27949607”｝，｛“key”：“ref28”，“doi断言者”：“publisher”，“doi”：“10.1006\/inco.1994.1045”｝，｛“key”：“ref4”，“doi由”：“publisher”，“doi”断言：“10.1016\/j.scico.2017.05.006”｝，｛“key”：“ref27”，“doi asserted by”：“publisher”，“doi”：“10.1016\/00304-3975（94）90010-8”｝，｛“key”：“ref3”，“首页”：“1”，“文章标题”：“关于安全和可扩展的自动驾驶汽车的正式模型”，“卷”：“abs 1708 6374”，“作者”：“shalev shwartz”，“年份”：“2017”，“期刊标题”：“CoRR”｝，｛“key”：“参考文献6“，”doi断言“：“publisher”，“DOI”：“10.1145\/3054977.3054998”}，{“key”：“ref29”，“首页”：“87”，“article-title”：“时间自动机：语义、算法和工具”，“author”：“bengtsson”，“年份”：“2003”，“日志标题”：“Proc ACP”}“ref8”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/9.664155”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.109\/ACC.1995.533807”}key“：”ref1“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/ICECCS.2017.32“}，{“key”：“ref20”、“doi-asserted-by”：“publisher”，“doi”：“10.1109\/COMST.2015.2410831”}，{“key”：“ref22”，“doi-sserted-by“：”publisher“，”doi“：”10.1109\/TITS.2011.2143407“}，”{“密钥”：“ref21”，“doi-assertd-by”：“publisher”，“DI:”10.1109\/TAC.2004.835586“}doi“：”10.1109\/IVS.2009.5164410“}，{“key”：“ref23”，“doi-asserted-by”：“publisher”，“DOI”：“10.1111\/j.1467-8667.2007.00529.x”}，{“key”：“ref26”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\/BFb0032042“}，}”key“：”ref25“，”DOI-assert-by“：”publisher“，”DOI“：”10.1109\/TVT.2014.2311384“}]，“container-title”：[“IEEE访问”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/6287639\/8600701\/08798627.pdf？arnumber=8798627”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,1,12]]，“date-time”：”2022-01-12T16:32:40Z“timestamp”：1642005160000}，“score”：1，“resource”：{“主要”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/8798627\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[2019]]}，”引用计数“：29，”URL“：”http://\/dx.doi.org\/10.109\/access.2019.2935423“，”关系“：{}”，“ISSN”：[“2169-3536”]，“ISSN-type”：[{“value”：“2169”69-3536“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[2019]]}}