Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain ExpansionHaoyu Li, Huan Zhang, Xiangru Zhong et al.|Unknown|2025Cited by 0
Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical SystemsHaoyu Li, Huan Zhang, Bin Hu et al.|arXiv (Cornell University)|2025Cited by 0