TY  - RPRT
TI  - Traffic Network Control from Temporal Logic Specifications
AU  - Samuel Coogan
AU  - Ebru Aydin Gol
AU  - Murat Arcak
AU  - Calin Belta
PY  - 2016
DO  - 10.1109/tcns.2015.2428471
UR  - https://arxiv.org/abs/1408.1437
ID  - 1408.1437
ER  -