Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata. - Ryohei Oura; Ami Sakakibara; Toshimitsu Ushio (CoRR, 2020)

Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata. - Ryohei Oura; Ami Sakakibara; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2020)

Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications. - Ryohei Oura; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2022)

Dirichlet Logistic Gaussian Processes for Evaluation of Black-Box Stochastic Systems under Complex Requirements. - Ryohei Oura; Yuji Ito (ECAI, 2024)

Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems With LTL Specifications. - Ryohei Oura; Toshimitsu Ushio; Ami Sakakibara (IEEE Trans. Autom. Control., 2024)

Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees. - Ryohei Oura; Yuji Ito (UAI, 2025)