{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T11:26:12Z","timestamp":1775215572328,"version":"3.50.1"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["61872341"],"award-info":[{"award-number":["61872341"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["61836005"],"award-info":[{"award-number":["61836005"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["61625206"],"award-info":[{"award-number":["61625206"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["61732001"],"award-info":[{"award-number":["61732001"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["61532019"],"award-info":[{"award-number":["61532019"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002367","name":"CAS Pioneer Hundred Talents Program","doi-asserted-by":"publisher","award":["Y8YC235015"],"award-info":[{"award-number":["Y8YC235015"]}],"id":[{"id":"10.13039\/501100002367","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft \u201cSystem Correctness under Adverse Conditions\u201d \u201cIntegrated Socio-Technical Models for Conflict Resolution and Causal Reasoning;\u201d","doi-asserted-by":"publisher","award":["DFG GRK 1765"],"award-info":[{"award-number":["DFG GRK 1765"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft \u201cSystem Correctness under Adverse Conditions\u201d \u201cIntegrated Socio-Technical Models for Conflict Resolution and Causal Reasoning;\u201d","doi-asserted-by":"publisher","award":["FR 2715\/4-1"],"award-info":[{"award-number":["FR 2715\/4-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"crossref","award":["FA2386-17-1-4065"],"award-info":[{"award-number":["FA2386-17-1-4065"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1109\/tcad.2020.3013135","type":"journal-article","created":{"date-parts":[[2020,10,2]],"date-time":"2020-10-02T20:24:18Z","timestamp":1601670258000},"page":"4090-4101","source":"Crossref","is-referenced-by-count":4,"title":["Safety Verification for Random Ordinary Differential Equations"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9717-846X","authenticated-orcid":false,"given":"Bai","family":"Xue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Franzle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3298-3817","authenticated-orcid":false,"given":"Naijun","family":"Zhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0686-0365","authenticated-orcid":false,"given":"Sergiy","family":"Bogomolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2570-2338","authenticated-orcid":false,"given":"Bican","family":"Xia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref38","author":"stroock","year":"2006","journal-title":"Multidimensional Diffusion Processes"},{"key":"ref33","author":"roger","year":"1997","journal-title":"The Life Sciences in Eighteenth-Century French Thought"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2028974"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10061-5_6"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0396(70)90100-2"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_9"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728625"},{"key":"ref34","volume":"10","author":"s\u00e4rkk\u00e4","year":"2019","journal-title":"Stochastic Differential Equation"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/andp.19053220806"},{"key":"ref11","first-page":"327","article-title":"Unbounded-time safety verification of stochastic differential dynamics","author":"feng","year":"2020","journal-title":"Proc Int Conf Comput Aided Verification"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1002\/andp.19063261405"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3313909.3313913"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967710"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2763785"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_31"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-6265-0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798890"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_16"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3126508"},{"key":"ref4","author":"arnold","year":"1974","journal-title":"Stochastic Differential Equations"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428804"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809781"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)36405-4"},{"key":"ref6","author":"bartlett","year":"1978","journal-title":"An Introduction to Stochastic Processes with Special Reference to Methods and Applications"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3934\/cpaa.2017007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178128"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/18M118935X"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7385-5"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_4"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_21"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0302-2"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311810"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029192"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2007.914777"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883836"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.2478\/9788376560267"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0421-7"},{"key":"ref23","volume":"30","author":"m\u00f6rters","year":"2010","journal-title":"Brownian Motion"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22438-6_34"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2923049"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14394-6_5"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9244237\/09211452.pdf?arnumber=9211452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:04:12Z","timestamp":1651068252000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9211452\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11]]},"references-count":46,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2020.3013135","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,11]]}}}