Traffic Network Control from Temporal Logic Specifications

• 期刊名称IEEE Transactions on Control of Network Systems
• 作者Coogan, Samuel; Aydin Gol, Ebru; Arcak, Murat; Belta, Calin
• 电子ISSN2325-5870
• 文件大小1065.72KB
• 发表时间2015
• DOI10.1109/TCNS.2015.2428471
• 页码1-1