Optimal directed control of discrete event systems with linear temporal logic constraints.

Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio

Browse the full ETFA paper archive.