Correct Explanations and How to Define Them: Properties and Metrics for Measuring Correctness of Three Forms of ML Model Input/Output Behaviour Explanations. - Vandita Singh; Kristijonas Cyras; Muhammad Zain Akram; Rafia Inam (J. Artif. Intell. Res., 2025)