Dongming Xiang

Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network

Barrier certificate generation is an efficient and powerful technique for formally verifying safety properties of cyber-physical systems. Feed-forward neural networks (FNNs) are commonly used to synthesize barrier certificates, but the fixed activation functions limit their efficiency and scalabilit…