Traffic Simulation and Visual Verification in Smog. - Mingliang Xu 001; Hua Wang; Shili Chu; Yong Gan; Xiaoheng Jiang; Yafei Li; Bing Zhou 003 (ACM Trans. Intell. Syst. Technol., 2019)