Verification of NNs in the IMOCO4.E Project: Preliminary Results | IEEE Conference Publication | IEEE Xplore