Login / Signup
Ryohei Oura
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 5
Top Topics
Discrete Event
Temporal Logic
Control Policy
Reinforcement Learning
Top Venues
CoRR
IEEE Control. Syst. Lett.
</>
Publications
</>
Ryohei Oura
,
Toshimitsu Ushio
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications.
CoRR
(2022)
Ryohei Oura
,
Toshimitsu Ushio
Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications.
IEEE Control. Syst. Lett.
6 (2022)
Ryohei Oura
,
Toshimitsu Ushio
,
Ami Sakakibara
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications.
CoRR
(2021)
Ryohei Oura
,
Ami Sakakibara
,
Toshimitsu Ushio
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata.
IEEE Control. Syst. Lett.
4 (3) (2020)
Ryohei Oura
,
Ami Sakakibara
,
Toshimitsu Ushio
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata.
CoRR
(2020)