An Introduction to Neural Network Analysis via Semidefinite Programming | IEEE Conference Publication | IEEE Xplore