S. Mahmud, S. Saisubramanian, and S. Zilberstein, “Verification and Validation of AI Systems Using Explanations”, AAAI-SS, vol. 4, no. 1, pp. 76–80, Nov. 2024.