{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:54Z","timestamp":1740132054560,"version":"3.37.3"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"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":["61733006","U1813201","61170028"],"award-info":[{"award-number":["61733006","U1813201","61170028"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003392","name":"Natural Science Foundation of Fujian Province","doi-asserted-by":"publisher","award":["2021J01316","2021J01320","2015J01255"],"award-info":[{"award-number":["2021J01316","2021J01320","2015J01255"]}],"id":[{"id":"10.13039\/501100003392","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangxi Key Laboratory of Trusted Software","award":["kx201323"],"award-info":[{"award-number":["kx201323"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1109\/tr.2022.3146200","type":"journal-article","created":{"date-parts":[[2022,2,24]],"date-time":"2022-02-24T20:24:52Z","timestamp":1645734292000},"page":"933-950","source":"Crossref","is-referenced-by-count":0,"title":["Incremental Witness Generation for Branching-Time Logic CTL*"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5202-3189","authenticated-orcid":false,"given":"Xiangyu","family":"Luo","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Huaqiao University, Xiamen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4973-9298","authenticated-orcid":false,"given":"Sen","family":"Liang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Huaqiao University, Xiamen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lixiao","family":"Zheng","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Huaqiao University, Xiamen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuxi","family":"Chen","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Huaqiao University, Xiamen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7362-6862","authenticated-orcid":false,"given":"Fan","family":"Yang","sequence":"additional","affiliation":[{"name":"College of Mechanical Engineering and Automation, Huaqiao University, Xiamen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-10575-8","article-title":"Handbook of Model Checking","author":"Clarke","year":"2018"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217565"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029814"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.78.4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0378-x"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-4342-y"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-017-9152-x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810617"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_18"},{"article-title":"GraphStream: A tool for bridging the gap between complex systems and dynamic graphs","year":"2008","author":"Pign","key":"ref15"},{"key":"ref16","first-page":"114","article-title":"Symbolic model checking multi-agent systems against CTL*K specifications","volume-title":"Proc. 16th Conf. Auton. Agents MultiAgent Syst.","author":"Kong"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_8"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45139-0_1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_12"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_17"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66197-1_4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8603022"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_3"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/9787285\/09720719.pdf?arnumber=9720719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,17]],"date-time":"2024-01-17T22:48:08Z","timestamp":1705531688000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9720719\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6]]},"references-count":22,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tr.2022.3146200","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"type":"print","value":"0018-9529"},{"type":"electronic","value":"1558-1721"}],"subject":[],"published":{"date-parts":[[2022,6]]}}}