Robustness Verification of Deep Neural Networks on High-speed Rail Operating Environment Recognition

Abstract:

The implementation of DeepTRE was improved to adapt to large-scale dataset scenarios， which greatly reduces the space complexity of DeepTRE when retaining the excellent verification ability of DeepTRE. The improved DeepTRE was evaluated in the high-speed rail operating environment recognition scenarios and was compared with other mainstream verification tools， i.e.，DLV and SafeCV. The experimental results show that the memory usage of the improved DeepTRE tool is significantly lower than that of the original DeepTRE tool. Compared with other neural network verification tools， the improved DeepTRE tool has better verification effect on the premise of faster verification speed.