2025 L4DC L4DC 2025

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems