J. Jiang, F. Leofante, A. Rago, and F. Toni, “Formalising the Robustness of Counterfactual Explanations for Neural Networks”, AAAI, vol. 37, no. 12, pp. 14901-14909, Jun. 2023.