Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach.

James Ferlez Yasser Shoukry

Published in: CDC (2021)

Keyphrases

neural network
lower complexity
computational complexity
upper bound
worst case
pattern recognition
recurrent neural networks
competitive learning
real time
artificial intelligence
case study
genetic algorithm
control system
fuzzy logic
back propagation
multi layer
space complexity