Mahmud, S., Saisubramanian, S. and Zilberstein, S. (2024) “Verification and Validation of AI Systems Using Explanations”, Proceedings of the AAAI Symposium Series, 4(1), pp. 76–80. doi: 10.1609/aaaiss.v4i1.31774.