@misc{indiciae11011eed5d4c, title = {Explaining Failures of Cyber-Physical Systems with Actual Causality}, author = {Khen Elimelech and Tom Yaacov and David A. Kelly and Hana Chockler and Moshe Y. Vardi}, year = {2026}, url = {https://arxiv.org/abs/2606.24546}, note = {Source identifier: 2606.24546} }