Optimal Directed Control of Discrete Event Systems with Linear Temporal Logic Constraints

Publication
2015 IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA)