Mahmud, Saaduddin, Sandhya Saisubramanian, and Shlomo Zilberstein. 2024. “Verification and Validation of AI Systems Using Explanations”. Proceedings of the AAAI Symposium Series 4 (1):76-80. https://doi.org/10.1609/aaaiss.v4i1.31774.