Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network.

Xiongqi Zhang, Junwei Xu, Yang Wang, Dongming Xiang, Wang Lin, Zuohua Ding

Browse the full AAAI paper archive.