Region of Attraction Estimate Learning and Verification for Nonlinear Systems using Neural-Network-based Lyapunov Functions. - Adel Bechihi; Aristotelis Kapnopoulos (CoRR, 2025)