Georgios E. Fainekos, Savvas G. Loizou, George J. Pappas. Translating Temporal Logic to Controller Specifications. In 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006. pages 899-904, IEEE, 2006. [doi]
Abstract is missing.