{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“讯息”：{“索引”：{“日期部分”：[[2024,3,6]]，“日期时间”：“2024-03-06T13:03:14Z”，“时间戳”：1709730194918}，“参考计数”：48，“出版商”：“电气与电子工程师学会（IEEE）”，“发行”：“11”，“许可证”：[{“开始”：{-“日期部分“：[2020,11,1]]，”日期时间”：“2020-11-01T00:00:00Z”，“timestamp”：1604188800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2020,11,1]]，“date-time”：“2020-11-01T00:00 Z”，”timestamp“：16001888000000}，”content-versation“stm-asf“，”delay-in-days“：0，”URL“：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期部分”：[[2020,11,1]]，“日期-时间”：“2020-11-01T00:00:00Z”，“时间戳”：1604188000000000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-037”｝]，“资助者”：[｛“doi”：“10.13039\/50101100001809”，“名称”：”“，”doi断言“：”publisher“，”奖项“：[”61872341“，“61836005”，“61972284”]}，{“DOI”：“10.13039\/501100002367”，“name”：“中国科学院先锋百人计划”，“DOI-asserted-by”：“publisher”，“award”：[“Y8YC235015”]}.，{”name“：”新加坡教育部，二级“，”award“：[”MOE2019-T2-2-040“]}“name”：“深圳市人工智能与机器人学会基金会”}，{“name”：“国家可信嵌入式软件工程技术研究中心基金会”{]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“IEEE Trans.Compute.-Aided Des.Integr.Circuits Syst.”]，“published-print”用法：{“date-parts”：[[2020,11]]}，“DOI”：“10.1109\/tcad.2020.3012251”，“type”：“journal-article”，“created”：{”date-part“：[2020,10,2]，“date-time”：“2020-10-02T20:24:18Z”，“timestamp”：1601670258000}，”page“：”3944-3955“，”source“：“Crossref”，“is-referenced-by-count”：10，“title”：[”Black-Box Continuousous的PAC模型检查时间动态系统“]，”前缀“：“10.1109”，“卷”：“39”，“作者”：[{“ORCID”：“http://\/ORCID.org\/0000-0001-9717-846X”，“authenticated-ORCID”：false，“给定”：“白”，“家族”：“雪”，“sequence”：“first”，“affiliation”：[]}，{“givent”：“苗苗”，“family”：“张”，“序列”：“additional”，“从属关系”：[]}，“ORCID:”http://\/ocrid.org\-000-000 2-9628-3847“，”authenticated-ORCID“：假，”given“：“Arvind”，“family”：“Easwaran”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Qin”，“家族”：“Li”，“sequence”:“additionable”，“filiation“：[]2]，“member”：“263”，“reference”：[{“key”：”ref39“，”doi-asserted-by“：”publisher“，”doi“：”10.1080\/14786442608564127“}”，{”key“：”ref38“，”author“valiant”，“年份”：“2013年”，“新闻标题”：“在复杂世界中学习和繁荣的自然算法可能大致正确”}，{“key”：“ref33”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-65765-3_17”}/978-0-387-35578-8_13“}，{“key”：“ref30”，“author”：“park”，“year”：“2019”，“journal-title”：“通过校准预测的深度神经网络的PAC置信集”}，{“key”：”ref37“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9781107298019“}，”{“key”：“ref36”，“doi-assert-by”：“publisher”，“doi”：“10.1109\/QEST.2005.42”}asserted-by“：”publisher“，”doi“：“10.1007 \/978-3-540-27813-9_16”}，{“key”：“ref34”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/s10009-014-0350-1”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-88562-7_18”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/186025.186051”}}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-662-46681-0.5”｝，｛“key”：“ref16”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-319-63387-9_22”｝，｛“key”：“ref17”，“author”：“fan”，“year”：“2020”，“期刊标题”：“具有概率覆盖保证的参数搜索和分区”｝，｛“key”：“ref18”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-319-22975-1_7”｝，｛“key”：“参考文献19“，“doi-asserted-by”：“publisher”，“doi”：“10.15607\/RRSS.2014.X.039”}，{“key”：“ref28”，“doi-asserted-by”：”publisher“，”doi“：”10.1007\/s10994-016-5565-9“}，“key“：”ref4“，”doi-assert-by“：”publicher“，”doi“：，“doi”：“10.4204\/EPTCS.103.6”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3642-40196-1_12”}，{“key”：“ref6”，“DOI-asserted-by”：“publisher”，“DOI:”10.1016\/j.arcontrol.2009.07.001“}”，{”key“：”ref29“，”DOI-assert-by“：”publisher“，”DOI“：”10.1007\/978-3-319-11164-3_28“}，”key：“ref5”，“DOI-asserte-by”：“publisher”，“DI:”10.1109\/TAC.2006.875041“}，{“key”：“ref8”，“article-title”：“使用泰勒模型的非线性混合系统可达性分析”，“author”：“chen”，“year”：“2015”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1038\/538020a”}“10.1007\/978-3642-39799-8_18”}，{“键”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10703-019-00333-0”}，{“key”：“ref46”，“doi-assertd-by”：“publisher”，“DI:”10.1007\/11513988_43“}，}“key:”ref20“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-3-540-31980-1_18“}”，{”key“：”ref45“，”“publisher”，“doi”：“10.1007\/11513988_25”}，{“key”：“ref48”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/s10703-013-0195-3”}，{“key”：“ref22”，“DOI-asserted-by”：“publicher”，“DI:”10.1007\/978-3662-46681-0_3“}”，{”key“：”ref47“，”DOI-assert-by“：”publisher“，”DOI“：”10.1007 \/3-540-45657-0_17“}，”key：“ref21”，“author”：“horst”，“year”：“2013”，“journal-title”：“全局优化确定性方法”}，{“key”：“ref42”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-32409-4_15”}，{“key”：“ref24”，“doi-asserted-by”：”publisher“，”doi“：”10.1016\/j.peva.2010.04.001 publisher“，”doi“：”10.1007\/978-3642-03845-7_15“}，{”key“：”ref44“，”doi-asserted-by“：“publisher”，“DOI”：“10.1109\/TAC.2020.2977993”}，{“key”：“ref26”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/QEST.2011.21“}，}“key”：”ref43“，”DOI-assert-by“：”publisher“，”DOI“：”10.109\/ICECCS.2019.00027“}.2008.25“}]，“集装箱标签”：[“IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/43\/9244237\/0921144.pdf？arnumber=9211444”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,4,27]]，“date-time”：“2022-04-27T14:03:25Z”，“timestamp”：16510682050000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/921144\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2020,11]]}，“：”http://\/dx.doi.org\/10.109\/tcad.2020.3012251“，”关系“：{}，“ISSN”：[“0278-0070”，“1937-4151”]，“ISSN-type”：[{“value”：“0278.0070”，”type“：”print“}，{“value”：“1937-4.151”，”type“：”electronic“}]，”subject“：[]，”published“：{“date-parts”：[2020,11]}}}