Lyapunov function search method for analysis of nonlinear systems stability using genetic algorithm. - A. M. Zenkin; A. A. Peregudin; Alexey A. Bobtsov (CoRR, 2023)