TY - RPRT TI - RKHS method for computing Koopman-based Lyapunov functions AU - François-Grégoire Bierwart AU - Alexandre Mauroy PY - 2026 UR - https://arxiv.org/abs/2604.09424 ID - 2604.09424 ER -