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

Ami Sakakibara, Toshimitsu Ushio
February 2018
Cite DOI
Type
Journal article
Publication
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences