An Approach to Build and Verify Stable Neural Network Controllers for Cyber Physical Systems with Non-Linear Dynamics | IEEE Conference Publication | IEEE Xplore