{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T21:04:55Z","timestamp":1730235895411,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T00:00:00Z","timestamp":1692921600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,25]],"date-time":"2023-08-25T00:00:00Z","timestamp":1692921600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,8,25]]},"DOI":"10.1109\/iccsce58721.2023.10237143","type":"proceedings-article","created":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T17:22:48Z","timestamp":1694020968000},"page":"161-166","source":"Crossref","is-referenced-by-count":0,"title":["Pre-controller Synthesis for Runtime Controller Synthesis"],"prefix":"10.1109","author":[{"given":"Yuki","family":"Arioka","sequence":"first","affiliation":[{"name":"Waseda University,Tokyo,Japan"}]},{"given":"Takuto","family":"Yamauchi","sequence":"additional","affiliation":[{"name":"Waseda University,Tokyo,Japan"}]},{"given":"Kenji","family":"Tei","sequence":"additional","affiliation":[{"name":"Waseda University,Tokyo,Japan"}]}],"member":"263","reference":[{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568264"},{"key":"ref7","first-page":"1095","article-title":"Partial order reduction for checking ltl formulae with the next-time operator","volume":"27","author":"kan","year":"2017","journal-title":"Journal of Logic and Computation"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.78"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/949952.940106"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref3","first-page":"218","article-title":"An Analysis Space Reduction for Discrete Controller Synthesis by Stepwise Partial Synthesis (in Japanese)","volume":"j106 d","author":"yamauchi","year":"2023","journal-title":"IEICE Transactions on Information and Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36387-4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798996"},{"key":"ref10","first-page":"77","article-title":"Recognizing safety and liveness","volume":"2","author":"alpern","year":"2010","journal-title":"Distributed Computing"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882305"},{"key":"ref1","first-page":"288","author":"weyns","year":"2020","journal-title":"An Introduction to Self-adaptive Systems A Contemporary Software Engineering Perspective"}],"event":{"name":"2023 IEEE 13th International Conference on Control System, Computing and Engineering (ICCSCE)","start":{"date-parts":[[2023,8,25]]},"location":"Penang, Malaysia","end":{"date-parts":[[2023,8,26]]}},"container-title":["2023 IEEE 13th International Conference on Control System, Computing and Engineering (ICCSCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10237087\/10237006\/10237143.pdf?arnumber=10237143","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T18:01:15Z","timestamp":1695664875000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10237143\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,25]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/iccsce58721.2023.10237143","relation":{},"subject":[],"published":{"date-parts":[[2023,8,25]]}}}