DeCaF combines counterfactual generators and causal models to identify minimal input signal changes that fix CPS failures and derives interpretable assertions that generalize the recovery conditions.
Counterfault: Value-based fault local- ization by modeling and predicting counterfactual outcomes
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
DeCaF combines counterfactual generators and causal models to identify minimal input signal changes that fix CPS failures and derives interpretable assertions that generalize the recovery conditions.