@InProceedings{Hanspal_2023_CVPR,
    author    = {Hanspal, Harleen and Lomuscio, Alessio},
    title     = {Efficient Verification of Neural Networks Against LVM-Based Specifications},
    booktitle = {Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
    month     = {June},
    year      = {2023},
    pages     = {3894-3903}
}
Harleen Hanspal Alessio Lomuscio
Efficient Verification of Neural Networks Against LVM-Based Specifications