{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T10:30:21Z","timestamp":1777113021971,"version":"3.51.4"},"reference-count":50,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,1]],"date-time":"2022-03-01T00:00:00Z","timestamp":1646092800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62162014"],"award-info":[{"award-number":["62162014"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangxi Natural Science Foundation of China","award":["2018GXNSFAA281326"],"award-info":[{"award-number":["2018GXNSFAA281326"]}]},{"name":"Guangxi Natural Science Foundation of China","award":["2018GXNSFDA281049"],"award-info":[{"award-number":["2018GXNSFDA281049"]}]},{"name":"Guangxi Natural Science Foundation of China","award":["2018GXNSFDA281045"],"award-info":[{"award-number":["2018GXNSFDA281045"]}]},{"name":"Guangxi Natural Science Foundation of China","award":["2018GXNSFDA138003"],"award-info":[{"award-number":["2018GXNSFDA138003"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1109\/tr.2021.3139616","type":"journal-article","created":{"date-parts":[[2022,1,20]],"date-time":"2022-01-20T20:24:12Z","timestamp":1642710252000},"page":"221-234","source":"Crossref","is-referenced-by-count":4,"title":["Approximate Safety Properties in Metric Transition Systems"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1325-6975","authenticated-orcid":false,"given":"Junyan","family":"Qian","sequence":"first","affiliation":[{"name":"Guangxi Key Laboratory of Multi-Source Information Mining and Security, Guangxi Normal University, Guilin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9387-6153","authenticated-orcid":false,"given":"Fan","family":"Shi","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Cai","sequence":"additional","affiliation":[{"name":"Guangxi Road and Bridge Engineering Group Company, Ltd., Nanning, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2496-837X","authenticated-orcid":false,"given":"Haiyu","family":"Pan","sequence":"additional","affiliation":[{"name":"Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782772"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.106"},{"key":"ref4","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_26"},{"issue":"4:15","key":"ref6","first-page":"1","article-title":"A complete quantitative deduction system for the bisimilarity distance on Markov chains","volume":"14","author":"Bacci","year":"2018","journal-title":"Log. Methods Comput. Sci."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2018.05.006"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.8285626"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/990010.990011"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.08.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2018.03.002"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2012.2230177"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45198-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2015.2427800"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-009-9201-y"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-017-0307-4"},{"issue":"6","key":"ref17","first-page":"1311","article-title":"A quantitative characterization of weighted Kripke structures in temporal logic","volume":"29","author":"Fahrenberg","year":"2010","journal-title":"Comput. Inf."},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.07.030"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.17.568-578"},{"key":"ref21","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft","year":"1979"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-013-0251-7"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2008.09.001"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603147"},{"issue":"3","key":"ref25","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","article-title":"Model checking of safety properties","volume":"19","author":"Kupferman","year":"2001","journal-title":"Form. Methods Syst. Des."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0277-8"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2012.2232298"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2016.10.030"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1137\/070698580"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2013.11.009"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.10.014"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2015.2452931"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211865"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.07.010"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.01.006"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2017.2670605"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02444-8_11"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00124-4"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2008.06.001"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0201-9"},{"key":"ref43","volume-title":"Algorithms Design Techniques and Analysis","author":"Alsuwaiyel","year":"2003"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2578855.2535875"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23283-1_9"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.09.035"},{"key":"ref48","volume-title":"Principles of Mathematical Analysis","volume":"3","author":"Walter","year":"1964"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.033"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27836-8_11"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/9725327\/09687131.pdf?arnumber=9687131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,13]],"date-time":"2024-01-13T22:23:31Z","timestamp":1705184611000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9687131\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3]]},"references-count":50,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tr.2021.3139616","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,3]]}}}