Template:Lotm13-tac

From Murray Wiki
Revision as of 04:37, 25 September 2014 by Murray (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to 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.