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.
- Vehicle Detection Based on Cascade Deep Learning Method Using Deformed Oriented Bounding BoxWenli Yang, Mira Park 0001, Xianghui Song, Sun Ling, Yameng Li, Xiaotong Gu. ausai 2022: 679-690 [doi]
- Pesticide: Using SMT Processors to Improve Performance of Pointer Bug DetectionJin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Saurabh Bagchi. iccd 2006: 514-521 [doi]