Li, Haoyu
5 publications
L4DC
2025
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems
NeurIPS
2025
Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion
5 publications