Template:Lotm13-tac: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Created page with "{{journal paper| | title = Synthesis of Reactive Switching Protocols from Temporal Logic Specifications | author = Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M Murray | journa...") |
(No difference)
|
Latest revision as of 04:37, 25 September 2014
Synthesis of Reactive Switching Protocols from Temporal Logic Specifications, Jun Liu, Necmiye Ozay, Ufuk Topcu, Richard M Murray. IEEE Transactions on Automatic Control, 2013.
