Template:Lotm13-tac

From Murray Wiki
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.