Switching protocol synthesis for temporal logic specifications

TitleSwitching protocol synthesis for temporal logic specifications
Publication TypeConference Paper
Year of Publication2012
AuthorsLiu, J., N. Ozay, U. Topcu, and R. M. Murray
Conference NameAmerican Control Conference (ACC)
DOI10.1109/ACC.2012.6315040
Related files: