Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations | IEEE Conference Publication | IEEE Xplore