Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio. Optimal directed control of discrete event systems with linear temporal logic constraints. In 20th IEEE Conference on Emerging Technologies & Factory Automation, ETFA 2015, Luxembourg, September 8-11, 2015. pages 1-8, IEEE, 2015. [doi]
Abstract is missing.