{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T23:22:28Z","timestamp":1725751348049},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T00:00:00Z","timestamp":1696896000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,10]],"date-time":"2023-10-10T00:00:00Z","timestamp":1696896000000},"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,10,10]]},"DOI":"10.1109\/gcce59613.2023.10315312","type":"proceedings-article","created":{"date-parts":[[2023,11,16]],"date-time":"2023-11-16T18:52:44Z","timestamp":1700160764000},"page":"881-884","source":"Crossref","is-referenced-by-count":0,"title":["Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints"],"prefix":"10.1109","author":[{"given":"Ryugo","family":"Tanaka","sequence":"first","affiliation":[{"name":"Okayama Prefectural University,Soja, Okayama,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomoyuki","family":"Yokogawa","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University,Soja, Okayama,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sousuke","family":"Amasaki","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University,Soja, Okayama,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirohisa","family":"Aman","sequence":"additional","affiliation":[{"name":"Ehime University,Matsuyama, Ehime,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazutami","family":"Arimoto","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University,Soja, Okayama,Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2022","key":"ref1","article-title":"Unity Real-Time Development Platform \u2014 3D, 2D VR & AR Engine"},{"year":"2022","key":"ref2","article-title":"blender.org - Home of the Blender project - Free and Open 3D Creation Software"},{"year":"2022","key":"ref3","article-title":"Blueprints Visual Scripting in Unreal Engine \u2014 Unreal Engine 5.0 Documentation"},{"volume-title":"Model checking","year":"1999","author":"Clarke","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.08.003"},{"key":"ref6","first-page":"30","article-title":"Formal Verification of Selected Game-Logic Specifications","volume-title":"Proc. the 2nd EICS Workshop on Engineering Interactive Computer Systems with SCXML","author":"Radomski"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/AINA.2018.00122"},{"article-title":"Solving interactive fiction games via partial evaluation and bounded model checking","year":"2020","author":"Lester","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IIAI-AAI50415.2020.00107"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2021EDP7063"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3551349.3560505"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_22"}],"event":{"name":"2023 IEEE 12th Global Conference on Consumer Electronics (GCCE)","start":{"date-parts":[[2023,10,10]]},"location":"Nara, Japan","end":{"date-parts":[[2023,10,13]]}},"container-title":["2023 IEEE 12th Global Conference on Consumer Electronics (GCCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10315246\/10315146\/10315312.pdf?arnumber=10315312","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T00:18:15Z","timestamp":1710375495000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10315312\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,10]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/gcce59613.2023.10315312","relation":{},"subject":[],"published":{"date-parts":[[2023,10,10]]}}}