TY - RPRT TI - Learning interpretable and stable dynamical models via mixed-integer Lyapunov-constrained optimization AU - Zhe Li AU - Ilias Mitrai PY - 2026 UR - https://arxiv.org/abs/2604.07611 ID - 2604.07611 ER -