openalexFigshare2026-07-25
Branch and Bound for Relational Verification of Neural Networks
Verification of neural networks against relational specifications, such as global robustness, is crucial for safety-critical applications of cyber-physical systems (CPS), given their increasing adoption of AI components. Compared to simple properties (e.g., local robustness), ver…