29 citations · 30 across the 3 of their papers we have counts for
3 papers
eess.SY2022
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications
Ryohei Oura, Toshimitsu Ushio
This letter proposes a learning-based bounded synthesis for a semi-Markov decision process (SMDP) with a linear temporal logic (LTL) specification. In the product of the SMDP and t…
eess.SY2021★ 1 cited
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications
Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara
In this paper, we consider supervisory control of stochastic discrete event systems (SDESs) under linear temporal logic specifications. Applying the bounded synthesis, we reduce th…
eess.SY2020★ 29 cited
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
This letter proposes a novel reinforcement learning method for the synthesis of a control policy satisfying a control specification described by a linear temporal logic formula. We…