Our paper on Formal Synthesis of Distributed Optimal Traffic Control Policies has been accepted to the International Conference on Cyber-Physical Systems (ICCPS) that will be held as part of CPS Week 2017.