1 paper
Jun Zhang, Haibo Zhang, Chun Liu +2
Formal verification of neural control barrier functions (NCBFs) remains challenging, especially for neural networks with nonlinear activations like \(\tanh\). Existing CROWN-based…