2

On-line permissive supervisory control of discrete event systems for scLTL specifications
Ami Sakakibara, Toshimitsu Ushio
PDF Cite DOI
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata
Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio
PDF Cite DOI
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications
Ami Sakakibara, Toshimitsu Ushio
Cite DOI