The following publications are possibly variants of this publication:
- Adversarial robustness of deep neural networks: A survey from a formal verification perspectiveMeng, Mark Huasong, Bai, Guangdong, Teo, Sin Gee, Hou, Zhe, Xiao, Yan, Lin, Yun, Dong, Jin Song. IEEE Transactions on Dependable and Secure Computing, , 2022.
- Comparative Analysis of Carbon Emissions in Tianjin Based on LMDI Method and STIRPAT ModelMaohui Liu, Meng Sun, Shengnan Liu, Yayun Yue, Huaxin Zhai, Duokun Yang, Jing Li. icvars 2022: 101-105 [doi]
- Research on remote sensing image carbon emission monitoring based on deep learningShaoqing Zhou, Xiaoman Zhang, Shiwei Chu, Tiantian Zhang, Junfei Wang. sigpro, 207:108943, June 2023. [doi]