TY  - RPRT
TI  - Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
AU  - Haoyu Li
AU  - Xiangru Zhong
AU  - Bin Hu
AU  - Huan Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2504.17102
ID  - 2504.17102
ER  -