TY - RPRT TI - Verified Training for Counterfactual Explanation Robustness under Data Shift AU - Anna P. Meyer AU - Yuhao Zhang AU - Aws Albarghouthi AU - Loris D'Antoni PY - 2024 UR - https://arxiv.org/abs/2403.03773 ID - 2403.03773 ER -