A Validation Approach for the Lipschitz Constant for Neural Networks | IEEE Conference Publication | IEEE Xplore