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)

Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates. - Xiongqi Zhang; Ning Lv; Wang Lin; Zuohua Ding (IJCAI, 2025)

Data-driven barrier certificate generation using deep learning and symbolic regression. - Xiaoxuan Ma; Xiongqi Zhang; Ning Lv; Xiuqing Cao; Wang Lin; Zuohua Ding (J. Syst. Archit., 2025)