Ryugo Tanaka, Tomoyuki Yokogawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto. Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints. In 12th IEEE Global Conference on Consumer Electronics, GCCE 2023, Nara, Japan, October 10-13, 2023. pages 881-884, IEEE, 2023. [doi]
@inproceedings{TanakaYAAA23,
title = {Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints},
author = {Ryugo Tanaka and Tomoyuki Yokogawa and Sousuke Amasaki and Hirohisa Aman and Kazutami Arimoto},
year = {2023},
doi = {10.1109/GCCE59613.2023.10315312},
url = {https://doi.org/10.1109/GCCE59613.2023.10315312},
researchr = {https://researchr.org/publication/TanakaYAAA23},
cites = {0},
citedby = {0},
pages = {881-884},
booktitle = {12th IEEE Global Conference on Consumer Electronics, GCCE 2023, Nara, Japan, October 10-13, 2023},
publisher = {IEEE},
isbn = {979-8-3503-4018-1},
}