Optimal directed control of discrete event systems with linear temporal logic constraints. - Ami Sakakibara; Sasinee Pruekprasert; Toshimitsu Ushio (ETFA, 2015)

Directed Control of Discrete Event Systems with LTL[F] Specifications. - Ami Sakakibara; Toshimitsu Ushio (CDC, 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)

WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control. - Naomi Kuze; Ami Sakakibara; Toshimitsu Ushio (ICCPS, 2020)

On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications. - Ami Sakakibara; Toshimitsu Ushio (ICCPS, 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 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 Generalized Büchi Automata. - Ryohei Oura; Ami Sakakibara; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2020)

On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. - Ami Sakakibara; Toshimitsu Ushio (IEEE Control. Syst. Lett., 2020)

A Video Game-Like Approach to Supporting Novices in Learning Programming. - Ami Sakakibara; Hiroshi Hosobe (HCI (24), 2021)

Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$ mathcal {F}$] Specifications. - Ami Sakakibara; Natsuki Urabe; Toshimitsu Ushio (IEEE Trans. Autom. Control., 2022)

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)