@inproceedings{efficientverificationofneuralnetworks,
  title = {Efficient Verification of Neural Networks Against LVM-Based Specifications},
  author = {Harleen Hanspal and Alessio Lomuscio},
  year = {2023},
  booktitle = {CVPR 2023 1},
  url = {http://openaccess.thecvf.com//content/CVPR2023/html/Hanspal_Efficient_Verification_of_Neural_Networks_Against_LVM-Based_Specifications_CVPR_2023_paper.html},
}