SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks.

Anahita Baninajjar Kamran Hosseini Ahmed Rezine Amir Aminifar

Published in: ICASSP (2023)

Keyphrases

neural network
main contribution
data sets
feature selection
multimedia
bayesian networks
video sequences
artificial neural networks
lightweight
computational efficiency
conceptual framework