Counterfactual explanations must be robust to algorithmic uncertainty in randomized ensembles.
This work proposes a novel interval abstraction technique that provides deterministic robustness guarantees for counterfactual explanations under plausible model changes.