Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking
Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking
复制标题
使用模型检查验证虚幻引擎 5 蓝图可视化脚本系统中的游戏逻辑
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Kazutami Arimoto
中科院分区：
文献类型：
--
作者：
Kazuki Wayama;Tomoyuki Yokogawa;Sousuke Amasaki;Hirohisa Aman;Kazutami Arimoto
多人游戏开发中的模型检查
DOI：
10.1109/aina.2018.00122
发表时间：
2017
期刊：
2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA)
影响因子：
--
作者：
R. Rezin;Ilya M. Afanasyev;M. Mazzara;V. Rivera
通讯作者：
V. Rivera