TY  - RPRT
TI  - Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
AU  - Zaid Ghazal
AU  - Hadiza Yusuf
AU  - Khouloud Gaaloul
PY  - 2026
UR  - https://arxiv.org/abs/2604.07679
ID  - 2604.07679
ER  -