@inproceedings{aprogrammaticandsemanticapproachto1,
  title = {A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors},
  author = {Edward Kim and  Divya Gopinath and  Corina Pasareanu and  Sanjit A. Seshia},
  year = {2020},
  booktitle = {CVPR 2020 6},
  url = {http://openaccess.thecvf.com/content_CVPR_2020/html/Kim_A_Programmatic_and_Semantic_Approach_to_Explaining_and_Debugging_Neural_CVPR_2020_paper.html},
}