conftrace_

linear bound propagation

4 papers

Explore in graph

Also known as

LBP

Co-occurring keywords · papers mentioning both

neural network verification (3) adversarial robustness (2) verifiable robustness (1) certified robust accuracy (1) mccormick relaxation (1) lyapunov (1) empirical falsification (1) safety certification (1) neural network (1) control barrier function (1)

Papers

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation L4DC 2026 DROWN: Towards Tighter LiRPA-based Robustness Certification COLING 2025 Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation ICML 2024 Towards Evaluating and Training Verifiably Robust Neural Networks CVPR 2021