NASA Ames Research Center; University of California, Berkeley
Edward Kim, Divya Gopinath, Corina Păsăreanu, Sanjit A. Seshia
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors