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.
- Systematic Generation of Diverse Benchmarks for DNN VerificationDong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum. cav 2020: 97-121 [doi]
- Aspect-Based Sentiment Analysis of User Reviews in 5G NetworksYin Zhang 0002, Huimin Lu, Chi Jiang, Xin Li, Xinliang Tian. network, 35(4):228-233, 2021. [doi]
- Boomerang: On-Demand Cooperative Deep Neural Network Inference for Edge Intelligence on the Industrial Internet of ThingsLiekang Zeng, En Li, Zhi Zhou, Xu Chen 0004. network, 33(5):96-103, 2019. [doi]
- DeepFocus: Deep Encoding Brainwaves and Emotions with Multi-Scenario Behavior Analytics for Human Attention EnhancementMin Chen 0003, Yong Cao, Rui Wang, Yong Li, Di Wu 0001, Zhongchun Liu. network, 33(6):70-77, 2019. [doi]
- Generalized predictive control of DEAP actuator based on RBFNeural Network, Zhaoguo Jiang, Qinglin Wang, Yuan Li. ascc 2017: 1632-1637 [doi]