Background Robust perception algorithms are a vital component in autonomous systems such as self-driving vehicles. Although deep learning (DL) and convolutional neural networks (CNNs) have advanced real-time object recognition capabilities, testing of these systems for correctness has lacked a generalized, reason-based approach. Currently, perception...