{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T20:10:57Z","timestamp":1779912657337,"version":"3.53.1"},"reference-count":40,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,9,1]],"date-time":"2026-09-01T00:00:00Z","timestamp":1788220800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U2241216"],"award-info":[{"award-number":["U2241216"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Fuzzy Sets and Systems"],"published-print":{"date-parts":[[2026,9]]},"DOI":"10.1016\/j.fss.2026.109903","type":"journal-article","created":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T07:01:23Z","timestamp":1776322883000},"page":"109903","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Fuzzy Safety and Liveness in Branching Time"],"prefix":"10.1016","volume":"538","author":[{"given":"Fan","family":"Shi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Heng","family":"Xu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jun","family":"Hu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.fss.2026.109903_bib0001","series-title":"Proving the correctness of multi-process programs","first-page":"125","author":"Lamport","year":"1977"},{"issue":"4","key":"10.1016\/j.fss.2026.109903_bib0002","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","article-title":"Defining liveness","volume":"21","author":"Alpern","year":"1985","journal-title":"Information Processing Letters"},{"issue":"3","key":"10.1016\/j.fss.2026.109903_bib0003","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/BF01782772","article-title":"Recognizing safety and liveness","volume":"2","author":"Alpern","year":"1987","journal-title":"Distributed Computing"},{"issue":"5","key":"10.1016\/j.fss.2026.109903_bib0004","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01211865","article-title":"Safety, liveness and fairness in temporal logic","volume":"6","author":"Sistla","year":"1994","journal-title":"Formal Aspects of Computing"},{"issue":"6","key":"10.1016\/j.fss.2026.109903_bib0005","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0020-0190(93)90074-J","article-title":"Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions","volume":"47","author":"Gumm","year":"1993","journal-title":"Information Processing Letters"},{"key":"10.1016\/j.fss.2026.109903_bib0006","series-title":"Proceedings of the twenty-second annual symposium on Principles of distributed computing","first-page":"325","article-title":"Lattice-theoretic characterization of safety and liveness","author":"Manolios","year":"2003"},{"key":"10.1016\/j.fss.2026.109903_bib0007","series-title":"Proceedings 16th Annual IEEE Symposium on Logic in Computer Science","first-page":"366","article-title":"Safety and liveness in branching time","author":"Manolios","year":"2001"},{"issue":"4","key":"10.1016\/j.fss.2026.109903_bib0008","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1805950.1805953","article-title":"Quantitative languages","volume":"11","author":"Chatterjee","year":"2010","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.1016\/j.fss.2026.109903_bib0009","first-page":"1","article-title":"Probably safe or live","author":"Katoen","year":"2014","journal-title":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science"},{"key":"10.1016\/j.fss.2026.109903_bib0010","series-title":"On relative and probabilistic finite counterability","first-page":"117","volume":"52","author":"Kupferman","year":"2018"},{"issue":"8","key":"10.1016\/j.fss.2026.109903_bib0011","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1007\/s00236-017-0307-4","article-title":"Spanning the spectrum from safety to liveness","volume":"55","author":"Faran","year":"2018","journal-title":"Acta Informatica"},{"issue":"2","key":"10.1016\/j.fss.2026.109903_bib0012","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/TSE.2008.106","article-title":"Linear and Branching system metrics","volume":"35","author":"Alfaro","year":"2009","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.fss.2026.109903_bib0013","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/j.ins.2016.10.030","article-title":"Model checking of linear-time properties in multi-valued systems","volume":"377","author":"Li","year":"2017","journal-title":"Information Sciences"},{"key":"10.1016\/j.fss.2026.109903_bib0014","series-title":"Quantitative model checking of linear-time properties based on generalized possibility measures. Fuzzy sets and Systems","first-page":"17","volume":"320","author":"Li","year":"2017"},{"key":"10.1016\/j.fss.2026.109903_bib0015","doi-asserted-by":"crossref","DOI":"10.1016\/j.ijar.2024.109249","article-title":"Generalized possibility computation tree logic with frequency and its model checking","volume":"173","author":"He","year":"2024","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/j.fss.2026.109903_bib0016","series-title":"Springer Science & Business Media","article-title":"Logic for applications","author":"Nerode","year":"2012"},{"key":"10.1016\/j.fss.2026.109903_bib0017","series-title":"Invitation to discrete mathematics","author":"Matou\u0161ek","year":"2009"},{"issue":"5","key":"10.1016\/j.fss.2026.109903_bib0018","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1016\/0005-1098(85)90004-4","article-title":"Evidence measures based on fuzzy information","volume":"21","author":"Dubois","year":"1985","journal-title":"Automatica"},{"key":"10.1016\/j.fss.2026.109903_bib0019","first-page":"134","volume":"56","author":"Li","year":"2017","journal-title":"Shafer structure based fuzzy logic system for stochastic modeling"},{"key":"10.1016\/j.fss.2026.109903_bib0020","article-title":"Fuzziness in Petri nets","volume":"22","year":"1998"},{"key":"10.1016\/j.fss.2026.109903_bib0021","series-title":"Principles of model checking","author":"Baier","year":"2008"},{"key":"10.1016\/j.fss.2026.109903_bib0022","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-10575-8","article-title":"Handbook of Model Checking","author":"Clarke","year":"2018"},{"issue":"1-2","key":"10.1016\/j.fss.2026.109903_bib0023","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1016\/S0304-3975(99)00317-5","volume":"255","author":"Mantaci","year":"2001","journal-title":"Codes and Equations on Trees. Theoretical Computer Science"},{"issue":"S2","key":"10.1016\/j.fss.2026.109903_bib0024","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2331147.2331164","article-title":"Verification of safety and liveness properties of metric transition systems","volume":"11","author":"Girard","year":"2012","journal-title":"ACM Transactions on Embedded Computing Systems"},{"key":"10.1016\/j.fss.2026.109903_bib0025","series-title":"Weighted safety. Automated Technology for Verification and Analysis: 11th International Symposium","author":"Weiner","year":"2013"},{"key":"10.1016\/j.fss.2026.109903_bib0026","series-title":"Model checking of safety properties. Formal methods in system design","volume":"19","author":"Kupferman","year":"2001"},{"issue":"1","key":"10.1016\/j.fss.2026.109903_bib0027","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1109\/TR.2021.3139616","article-title":"Approximate safety properties in metric transition systems","volume":"71","author":"Qian","year":"2022","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/j.fss.2026.109903_bib0028","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/BF01211865","article-title":"Safety, liveness and fairness in temporal logic","volume":"6","author":"Sistla","year":"1994","journal-title":"Formal Aspects of Computing"},{"issue":"7","key":"10.1016\/j.fss.2026.109903_bib0029","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1016\/j.jlap.2010.07.010","article-title":"Quantitative analysis of weighted transition systems","volume":"79","author":"Thrane","year":"2010","journal-title":"J.The Journal of Logic and Algebraic Programming"},{"key":"10.1016\/j.fss.2026.109903_bib0030","series-title":"Model checking fuzzy computation tree logic. Fuzzy sets and Systems","first-page":"60","volume":"262","author":"Pan","year":"2015"},{"key":"10.1016\/j.fss.2026.109903_bib0031","first-page":"1","article-title":"Quantitative and approximate monitoring 2021","author":"Henzinger","year":"2021","journal-title":"36th Annual ACM\/IEEE Symposium on Logic in Computer Science"},{"key":"10.1016\/j.fss.2026.109903_bib0032","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1016\/j.tcs.2013.07.030","article-title":"The quantitative linear-time-branching time spectrum","volume":"538","author":"Fahrenberg","year":"2014","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"10.1016\/j.fss.2026.109903_bib0033","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2629686","article-title":"Temporal specifications with accumulative values","volume":"15","author":"Boker","year":"2014","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"10.1016\/j.fss.2026.109903_bib0034","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ijar.2018.04.010","article-title":"Bisimulations for fuzzy transition systems revisited","volume":"99","author":"Wu","year":"2018","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/j.fss.2026.109903_bib0035","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.fss.2015.09.012","article-title":"Logical characterizations of simulation and bisimulation for fuzzy transition systems","volume":"301","author":"Wu","year":"2016","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"10.1016\/j.fss.2026.109903_bib0036","first-page":"399","article-title":"Modeling and Control of Probabilistic Fuzzy Discrete Event Systems","volume":"6","author":"Lin","year":"2021","journal-title":"IEEE Transactions on Emerging Topics in Computing"},{"issue":"9","key":"10.1016\/j.fss.2026.109903_bib0037","doi-asserted-by":"crossref","first-page":"2185","DOI":"10.1109\/TFUZZ.2019.2931254","article-title":"Online self-learning fuzzy discrete event systems","volume":"28","author":"Ying","year":"2019","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"10.1016\/j.fss.2026.109903_bib0038","series-title":"Foundations of Software Science and Computation Structures LNCS 13992","first-page":"349","article-title":"Quantitative Safety and Liveness","author":"Henzinger","year":"2023"},{"key":"10.1016\/j.fss.2026.109903_bib0039","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF01908061","article-title":"Optimal algorithms for comparing trees with labeled leaves","volume":"2","author":"Day","year":"1985","journal-title":"Journal of classification"},{"key":"10.1016\/j.fss.2026.109903_bib0040","series-title":"Dagstuhl Seminar Proceedings. Schloss Dagstuhl-Leibniz-Zentrum fInformatik","article-title":"A new tree distance metric for structural comparison of sequences","author":"Gall\u00e9","year":"2010"}],"container-title":["Fuzzy Sets and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011426001417?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0165011426001417?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T20:00:23Z","timestamp":1779912023000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0165011426001417"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,9]]},"references-count":40,"alternative-id":["S0165011426001417"],"URL":"https:\/\/doi.org\/10.1016\/j.fss.2026.109903","relation":{},"ISSN":["0165-0114"],"issn-type":[{"value":"0165-0114","type":"print"}],"subject":[],"published":{"date-parts":[[2026,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Fuzzy Safety and Liveness in Branching Time","name":"articletitle","label":"Article Title"},{"value":"Fuzzy Sets and Systems","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.fss.2026.109903","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"109903"}}