@misc{indiciae0b6e5f886556, title = {Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions}, author = {P. Giesl and S. Hafstein and B. Hamzi and J. Lee and H. Owhadi and G. Santin and U. Vaidya}, year = {2026}, url = {https://arxiv.org/abs/2602.21767}, note = {Source identifier: 2602.21767} }