Template:Lotm12-acc

From MurrayWiki
Jump to: navigation, search

Synthesis of Switching Protocols from Temporal Logic Specifications, Jun Liu, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. American Control Conference (ACC), 2012.