TY  - RPRT
TI  - Explaining Failures of Cyber-Physical Systems with Actual Causality
AU  - Khen Elimelech
AU  - Tom Yaacov
AU  - David A. Kelly
AU  - Hana Chockler
AU  - Moshe Y. Vardi
PY  - 2026
UR  - https://arxiv.org/abs/2606.24546
ID  - 2606.24546
ER  -