Ryohei Oura

According to our database, Ryohei Oura authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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., October, 2024

Dirichlet Logistic Gaussian Processes for Evaluation of Black-Box Stochastic Systems under Complex Requirements.

Ryohei Oura, Yuji Ito

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2022

Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications.

Ryohei Oura, Toshimitsu Ushio

IEEE Control. Syst. Lett., 2022

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

Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata.

Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio

CoRR, 2020