Sufficient Reasons and Explanations for Reactive Systems

Hadar Frenkel, Nadav Rutman Moshe

We address the problem of temporal causality and explainability for reactive systems, and, in this setting, study sufficient reasons and contrastive explanations. These two notions…