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

Xiongqi Zhang, Ning Lv, Wang Lin, Zuohua Ding

Browse the full IJCAI paper archive.