Ning Lv

School of Information Science and Technology , Zhejiang Sci-Tech University , Hangzhou , China

1 paper in the IJCAI proceedings

IJCAI 2025

Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates

with Xiongqi Zhang, Wang Lin, Zuohua Ding

doi:10.24963/ijcai.2025/35

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings