TY - RPRT TI - Sufficient Reasons and Explanations for Reactive Systems AU - Hadar Frenkel AU - Nadav Rutman Moshe PY - 2026 UR - https://arxiv.org/abs/2610.02184 ID - 2610.02184 ER -