Mahmud, S., Saisubramanian, S., & Zilberstein, S. (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