Directed Control of Discrete Event Systems with LTL[$mathcalF$] Specifications

Ami Sakakibara, Toshimitsu Ushio
December 2018
Cite
Type
Conference paper
Publication
2018 IEEE Conference on Decision and Control (CDC)