Two‑Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion - Li, Haoyu; Zhong, Xiangru; Hu, Bin; Zhang, Huan (Advances in Neural Information Processing Systems, 2025)