5:50 PM - 6:10 PM
[2N6-GS-1-01] Effective Symmetry Reduction based on Graph Automorphism in Graph-Based Model Checking
〇Yutaro Tsunekawa1, Kazunori Ueda2 (1. Graduate School of Fundamental Science and Engineering, Waseda University, 2. Faculty of Science and Engineering, Waseda University)