TY - RPRT TI - Sufficient and Necessary Causal Explanations for the Analysis of Autonomous Systems AU - Tom Yaacov AU - Khen Elimelech AU - Hana Chockler AU - Moshe Y. Vardi PY - 2026 UR - https://arxiv.org/abs/2610.29724 ID - 2610.29724 ER -