Ami Sakakibara

According to our database, Ami Sakakibara authored at least 12 papers between 2015 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

2022

Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications.

Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio

IEEE Trans. Autom. Control., 2022

2021

A Video Game-Like Approach to Supporting Novices in Learning Programming.

Ami Sakakibara, Hiroshi Hosobe

Proceedings of the Learning and Collaboration Technologies: Games and Virtual Environments for Learning, 2021

2020

On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications.

Ami Sakakibara, Toshimitsu Ushio

IEEE Control. Syst. Lett., 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

On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints.

Ami Sakakibara, Toshimitsu Ushio

CoRR, 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

On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications.

Ami Sakakibara, Toshimitsu Ushio

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control.

Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

2018

Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications.

Ami Sakakibara, Toshimitsu Ushio

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

Directed Control of Discrete Event Systems with LTL[F] Specifications.

Ami Sakakibara, Toshimitsu Ushio

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2015

Optimal directed control of discrete event systems with linear temporal logic constraints.

Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015