Efficient Robustness Verification of the Deep Neural Networks for Smart IoT Devices

Zhaodi Zhang, Jing Liu, Min Zhang, Haiying Sun