TY  - RPRT
TI  - Kernel Methods for the Construction of Certified Lyapunov Functions via Approximate Koopman Eigenfunctions
AU  - P. Giesl
AU  - S. Hafstein
AU  - B. Hamzi
AU  - J. Lee
AU  - H. Owhadi
AU  - G. Santin
AU  - U. Vaidya
PY  - 2026
UR  - https://arxiv.org/abs/2602.21767
ID  - 2602.21767
ER  -