Designing Neural Networks Using Logical Specs | IEEE Conference Publication | IEEE Xplore