You are here

Synthesis of reactive switching protocols from temporal logic specifications

TitleSynthesis of reactive switching protocols from temporal logic specifications
Publication TypeJournal Article
Year of Publication2013
AuthorsLiu, J., N. Ozay, U. Topcu, and R. M. Murray
JournalIEEE Transactions on Automatic Control
Pagination1771–1785
DOI10.1109/TAC.2013.2246095
Related files: