Counterfactual Explanations and Model Multiplicity: a Relational Verification ViewFrancesco Leofante, Elena Botoeva, Vineet Rajani, Pierre Marquis, Tran Cao Son, Gabriele Kern-IsbernerJan 1, 2023DOI URL