Formal Synthesis of Lyapunov Neural Networks | IEEE Journals & Magazine | IEEE Xplore