Active Learning for Deterministic Bottom-Up Nominal Tree Automata. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2022)

A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2023)

Pumping Lemmas for Languages Expressed by Computational Models with Registers. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2023)

Verification with Common Knowledge of Rationality for Graph Games. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2024)

Strategies and Equilibria on Indistinguishability of Winning Objectives and Related Decision Problems. - Rindo Nakanishi; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2025)