Publications



Results 1-1 of 1 (Search time: 0.0 seconds).

Issue DateTitleAuthor(s)
12006Translating temporal logic to controller specificationsFainekos, Georgios E. ; Pappas, George J. ; Loizou, Savvas