TY - RPRT TI - Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems AU - Ruikun Zhou AU - Yiming Meng AU - Zhexuan Zeng AU - Jun Liu PY - 2025 UR - https://arxiv.org/abs/2412.02807 ID - 2412.02807 ER -