Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking. - Kazuki Wayama; Tomoyuki Yokogawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (ASE, 2022)