Model Checking of Visual Scripts Created by UE4 Blueprints

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]

Authors

Nao Igawa

This author has not been identified. Look up 'Nao Igawa' in Google

Tomoyuki Yokogawa

This author has not been identified. Look up 'Tomoyuki Yokogawa' in Google

Mami Takahashi

This author has not been identified. Look up 'Mami Takahashi' in Google

Kazutami Arimoto

This author has not been identified. Look up 'Kazutami Arimoto' in Google