Browsing by Author Fainekos, Georgios E.

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2006Translating temporal logic to controller specificationsFainekos, Georgios E.; Pappas, George J.; Loizou, Savvas