Construction of Neural Network Based Lyapunov Functions | IEEE Conference Publication | IEEE Xplore