Evolutionary Search for Polynomial Lyapunov Functions: A Genetic Programming Method for Exponential Stability Certification. - Roman Pykhnivskyi; Anton Ryzhov; Andrii Sobchuk; Yurii Kravchenko (Axioms, 2025)