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]
Abstract is missing.