Nao Igawa, Tomoyuki Yokogawa, Mami Takahashi, Kazutami Arimoto. Model Checking of Visual Scripts Created by UE4 Blueprints. In Tokuro Matsuo, Kunihiko Takamatsu, Yuichi Ono, Sachio Hirokawa, editors, 9th International Congress on Advanced Applied Informatics, IIAI-AAI 2020, Kitakyushu, Japan, September 1-15, 2020. pages 512-515, IEEE, 2020. [doi]
Abstract is missing.