Locally Convex Neural Lyapunov Functions and Region of Attraction Maximization for Stability of Nonlinear Systems. - Lucas Hugo; Philippe Feyel; David Saussié (ICINCO (1), 2023)