Ami Sakakibara

14 papers C 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems With LTL Specifications.
IEEE Trans. Autom. Control.
Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara
2022 J jnl
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications.
IEEE Trans. Autom. Control.
Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio
2021 — conf
A Video Game-Like Approach to Supporting Novices in Learning Programming.
HCI (24)
Ami Sakakibara, Hiroshi Hosobe
2021 J jnl
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications.
CoRR
Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara
2020 J jnl
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications.
CoRR
Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications.
IEEE Control. Syst. Lett.
Ami Sakakibara, Toshimitsu Ushio
2020 — conf
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications.
ICCPS
Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints.
CoRR
Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata.
CoRR
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
2020 J jnl
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata.
IEEE Control. Syst. Lett.
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
2020 — conf
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control.
ICCPS
Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio
2018 — conf
Directed Control of Discrete Event Systems with LTL[F] Specifications.
CDC
Ami Sakakibara, Toshimitsu Ushio
2018 J jnl
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Ami Sakakibara, Toshimitsu Ushio
2015 C conf
Optimal directed control of discrete event systems with linear temporal logic constraints.
ETFA
Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio