Causal explanations of safety property violations in discrete event systems

Gregor Gössler, Thomas Mari, Yannick Pencolé, Louise Travé-Massuyès. Causal explanations of safety property violations in discrete event systems. Artificial Intelligence, 358:104588, 2026. [doi]

Abstract

Abstract is missing.