Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network. - Xiongqi Zhang; Junwei Xu; Yang Wang 156; Dongming Xiang; Wang Lin; Zuohua Ding (AAAI, 2025)

Recurrent Convex Difference Neural Networks for Safety-Critical Model Predictive Control. - Hanlong Chen; Yang Wang 156; Wang Lin; Zuohua Ding (IEEE Robotics Autom. Lett., 2025)