Mahmud, S.; Saisubramanian, S.; Zilberstein, S. Verification and Validation of AI Systems Using Explanations. AAAI-SS 2024, 4, 76-80.