Applying Symbolic Model Checking to Node-graph Style Game Scripts with Time Constraints. - Ryugo Tanaka; Tomoyuki Yokogawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (GCCE, 2023)