Cover Image

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhang, Jun, Zhang, Haibo, Liu, Chun, Wang, Xiaofan, Xu, Liang
Format:	Preprint
Published:	2026
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Smoothness Adaptivity in Constant-Depth Neural Networks: Optimal Rates via Smooth Activations
by: Liu, Yuhao, et al.
Published: (2026)

Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller
by: Yu, Mingxin, et al.
Published: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Constrained Reinforcement Learning with Smoothed Log Barrier Function
by: Zhang, Baohe, et al.
Published: (2024)

Don't Forget the Nonlinearity: Unlocking Activation Functions in Efficient Fine-Tuning
by: Yin, Bo, et al.
Published: (2025)

Structured Deep Neural Network-Based Backstepping Trajectory Tracking Control for Lagrangian Systems
by: Qian, Jiajun, et al.
Published: (2024)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Verification-Aided Learning of Neural Network Barrier Functions with Termination Guarantees
by: Chen, Shaoru, et al.
Published: (2024)

Efficient Neural Controlled Differential Equations via Attentive Kernel Smoothing
by: Serov, Egor, et al.
Published: (2026)

How to Train Your Latent Control Barrier Function: Smooth Safety Filtering Under Hard-to-Model Constraints
by: Nakamura, Kensuke, et al.
Published: (2025)

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming
by: Chiu, Hong-Ming, et al.
Published: (2025)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
by: Mulagaleti, Sampath Kumar, et al.
Published: (2025)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

Smooth Flow Matching for Synthesizing Functional Data
by: Tan, Jianbin, et al.
Published: (2025)

Harmonic Control Lyapunov Barrier Functions for Constrained Optimal Control with Reach-Avoid Specifications
by: Mukherjee, Amartya, et al.
Published: (2023)

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
by: Xiao, Wei, et al.
Published: (2023)

Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
by: Zhi, Dapeng, et al.
Published: (2024)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

Rotated Runtime Smooth: Training-Free Activation Smoother for accurate INT4 inference
by: Yi, Ke, et al.
Published: (2024)

ReLU$^2$ Wins: Discovering Efficient Activation Functions for Sparse LLMs
by: Zhang, Zhengyan, et al.
Published: (2024)

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
by: Liu, Zongxin, et al.
Published: (2024)

Certificated Actor-Critic: Hierarchical Reinforcement Learning with Control Barrier Functions for Safe Navigation
by: Xie, Junjun, et al.
Published: (2025)

Neural Networks with Sparse Activation Induced by Large Bias: Tighter Analysis with Bias-Generalized NTK
by: Yang, Hongru, et al.
Published: (2023)

Better NTK Conditioning: A Free Lunch from (ReLU) Nonlinear Activation in Wide Neural Networks
by: Liu, Chaoyue, et al.
Published: (2023)

A Generative Graph Contrastive Learning Model with Global Signal
by: Wei, Xiaofan, et al.
Published: (2025)

Neural Dynamic Data Valuation: A Stochastic Optimal Control Approach
by: Liang, Zhangyong, et al.
Published: (2024)

ASMR: Activation-sharing Multi-resolution Coordinate Networks For Efficient Inference
by: Li, Jason Chun Lok, et al.
Published: (2024)

Global Convergence in Neural ODEs: Impact of Activation Functions
by: Gao, Tianxiang, et al.
Published: (2025)

Guidance and Control Networks with Periodic Activation Functions
by: Origer, Sebastien, et al.
Published: (2024)

Function-Space Optimality of Neural Architectures with Multivariate Nonlinearities
by: Parhi, Rahul, et al.
Published: (2023)

DeepCDCL: An CDCL-based Neural Network Verification Framework
by: Liu, Zongxin, et al.
Published: (2024)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
by: Ajeyemi, Damola, et al.
Published: (2025)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
by: Vaisi, Goli, et al.
Published: (2025)

Emergent Low-Rank Training Dynamics in MLPs with Smooth Activations
by: Xu, Alec S., et al.
Published: (2026)

Understanding Two-Layer Neural Networks with Smooth Activation Functions
by: Huang, Changcun
Published: (2025)

Discrete Differential Principle for Continuous Smooth Function Representation
by: Wang, Guoyou, et al.
Published: (2025)

Activation Functions Considered Harmful: Recovering Neural Network Weights through Controlled Channels
by: Spielman, Jesse, et al.
Published: (2025)

Sampling-guided Heterogeneous Graph Neural Network with Temporal Smoothing for Scalable Longitudinal Data Imputation
by: Zhang, Zhaoyang, et al.
Published: (2024)

Physical Activation Functions (PAFs): An Approach for More Efficient Induction of Physics into Physics-Informed Neural Networks (PINNs)
by: Abbasi, Jassem, et al.
Published: (2022)