Ryoma Senda

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