Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions. - P. Giesl; S. Hafstein; Boumediene Hamzi; Jonghyeon Lee; Houman Owhadi; Gabriele Santin; Umesh Vaidya (CoRR, 2026)