Ding, Zuohua

2 publications

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

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