Publications



Refined By:
Fulltext:  No Fulltext

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

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