2025
Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network
AAAI 2025technical
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…