TY - RPRT TI - Computing Lyapunov functions using deep neural networks AU - Lars GrĂ¼ne PY - 2020 UR - https://arxiv.org/abs/2005.08965 ID - 2005.08965 ER -