TY  - RPRT
TI  - AR-Pro: Counterfactual Explanations for Anomaly Repair with Formal Properties
AU  - Xiayan Ji
AU  - Anton Xue
AU  - Eric Wong
AU  - Oleg Sokolsky
AU  - Insup Lee
PY  - 2024
UR  - https://arxiv.org/abs/2410.24178
ID  - 2410.24178
ER  -