Complexity Results on Register Context-Free Grammars and Register Tree Automata. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2018)

Complexity Results on Register Pushdown Automata. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (CoRR, 2019)

Generalized Register Context-Free Grammars. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2020)

Reactive Synthesis from Visibly Register Pushdown Automata. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (ICTAC, 2021)

Forward Regularity Preservation Property of Register Pushdown Systems. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2021)

LTL Model Checking for Register Pushdown Systems. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2021)

Complexity results on register context-free grammars and related formalisms. - Ryoma Senda; Yoshiaki Takata; Hiroyuki Seki (Theor. Comput. Sci., 2022)

Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. - Yoshiaki Takata; Ryoma Senda; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2022)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata. - Yoshiaki Takata; Akira Onishi; Ryoma Senda; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2023)

Behavior-Targeted Attack on Reinforcement Learning with Limited Access to Victim's Policy. - Shojiro Yamabe; Kazuto Fukuchi; Ryoma Senda; Jun Sakuma (CoRR, 2024)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Büchi Register Automata. - Yoshiaki Takata; Akira Onishi; Ryoma Senda; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2024)