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.