Ryoma Senda

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 13

Top Topics

Closure Properties

Top Venues

IEICE Trans. Inf. Syst.

Publications

Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata. CoRR (2024)
Shojiro Yamabe, Kazuto Fukuchi, Ryoma Senda, Jun Sakuma
Behavior-Targeted Attack on Reinforcement Learning with Limited Access to Victim's Policy. CoRR (2024)
Yoshiaki Takata, Akira Onishi, Ryoma Senda, Hiroyuki Seki
A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata. IEICE Trans. Inf. Syst. 106 (3) (2023)
Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. CoRR (2022)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity results on register context-free grammars and related formalisms. Theor. Comput. Sci. 923 (2022)
Yoshiaki Takata, Ryoma Senda, Hiroyuki Seki
Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. IEICE Trans. Inf. Syst. (9) (2022)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
LTL Model Checking for Register Pushdown Systems. IEICE Trans. Inf. Syst. (12) (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Forward Regularity Preservation Property of Register Pushdown Systems. IEICE Trans. Inf. Syst. (3) (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Reactive Synthesis from Visibly Register Pushdown Automata. ICTAC (2021)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Generalized Register Context-Free Grammars. IEICE Trans. Inf. Syst. (3) (2020)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Generalized Register Context-Free Grammars. LATA (2019)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity Results on Register Pushdown Automata. CoRR (2019)
Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
Complexity Results on Register Context-Free Grammars and Register Tree Automata. ICTAC (2018)