Dynamic and Scalable Deep Neural Network Verification Algorithm.
Mohamed Ibn KhedherHatem Ibn-KhedherMakhlouf HadjiPublished in: ICAART (2) (2021)
Keyphrases
- neural network
- dynamic programming
- preprocessing
- experimental evaluation
- learning algorithm
- times faster
- simulated annealing
- cost function
- significant improvement
- worst case
- detection algorithm
- objective function
- np hard
- search space
- computationally efficient
- path planning
- recognition algorithm
- improved algorithm
- single pass
- high accuracy
- computational complexity