{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:06:26Z","timestamp":1755907586045,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001691","name":"Japan Society for the Promotion of Science","doi-asserted-by":"publisher","award":["#21K11831, #21K11833"],"award-info":[{"award-number":["#21K11831, #21K11833"]}],"id":[{"id":"10.13039\/501100001691","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3560505","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7808-891X","authenticated-orcid":false,"given":"Kazuki","family":"Wayama","sequence":"first","affiliation":[{"name":"Okayama Prefectural University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6681-2608","authenticated-orcid":false,"given":"Tomoyuki","family":"Yokogawa","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8763-3457","authenticated-orcid":false,"given":"Sousuke","family":"Amasaki","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7074-5225","authenticated-orcid":false,"given":"Hirohisa","family":"Aman","sequence":"additional","affiliation":[{"name":"Ehime University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2871-7479","authenticated-orcid":false,"given":"Kazutami","family":"Arimoto","sequence":"additional","affiliation":[{"name":"Okayama Prefectural University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01257083"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/646483.691738"},{"key":"e_1_3_2_1_3_1","unstructured":"Blender. 2022. blender.org - Home of the Blender project - Free and Open 3D Creation Software. https:\/\/www.blender.org\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"volume-title":"Model checking","author":"Clarke E\u00a0M","key":"e_1_3_2_1_5_1","unstructured":"E\u00a0M Clarke, O Grumberg, and D Peled. 1999. Model checking. MIT press."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2021EDP7063"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/IIAI-AAI50415.2020.00107"},{"key":"e_1_3_2_1_8_1","unstructured":"M\u00a0M Lester. 2020. Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking. arXiv preprint arXiv:2012.15365(2020)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.08.003"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. the 2nd EICS Workshop on Engineering Interactive Computer Systems with SCXML. 30\u201334","author":"Radomski Stefan","year":"2015","unstructured":"Stefan Radomski and Tim Neubacher. 2015. Formal Verification of Selected Game-Logic Specifications. In Proc. the 2nd EICS Workshop on Engineering Interactive Computer Systems with SCXML. 30\u201334."},{"key":"e_1_3_2_1_12_1","volume-title":"Model Checking in Multiplayer Games Development. In 2018 IEEE 32nd Int\u2019l Conf. on Advanced Information Networking and Applications (AINA). 826\u2013833","author":"Rezin R","year":"2018","unstructured":"R Rezin, I Afanasyev, M Mazzara, and V Rivera. 2018. Model Checking in Multiplayer Games Development. In 2018 IEEE 32nd Int\u2019l Conf. on Advanced Information Networking and Applications (AINA). 826\u2013833."},{"key":"e_1_3_2_1_13_1","unstructured":"SQUARE ENIX CO. LTD.2016. FINAL FANTASY XV. http:\/\/www.jp.square-enix.com\/ff15\/."},{"key":"e_1_3_2_1_14_1","unstructured":"Unity. 2022. Unity Real-Time Development Platform | 3D 2D VR & AR Engine. https:\/\/unity.com\/."},{"key":"e_1_3_2_1_15_1","unstructured":"Unreal Engine 5. 2022. Blueprints Visual Scripting in Unreal Engine | Unreal Engine 5.0 Documentation. https:\/\/docs.unrealengine.com\/5.0\/en-US\/blueprints-visual-scripting-in-unreal-engine\/."}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","acronym":"ASE '22","location":"Rochester MI USA"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3560505","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3560505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:27:08Z","timestamp":1755851228000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3560505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":15,"alternative-id":["10.1145\/3551349.3560505","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3560505","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}