Template:Lotm12-acc

From Murray Wiki
Jump to navigationJump to search

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