Efficient Computation of Lyapunov Functions Using DNNs for the Assessment of Stability in Controller Design.pdf