Harleen Hanspal

Efficient Verification of Neural Networks Against LVM-Based Specifications

The deployment of perception systems based on neural networks in safety critical applications requires assurance on their robustness. Deterministic guarantees on network robustness require formal verification. Standard approaches for verifying robustness analyse invariance to analytically defined tr…