Template:Lotm13-tac

From MurrayWiki
Jump to: navigation, search

Synthesis of Reactive Switching Protocols from Temporal Logic Specifications, Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M Murray. IEEE Transactions on Automatic Control, 2013.