Template:Lotm12-acc
From Murray Wiki
Synthesis of Switching Protocols from Temporal Logic Specifications, Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. American Control Conference (ACC), 2012.
Synthesis of Switching Protocols from Temporal Logic Specifications, Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. American Control Conference (ACC), 2012.