面向自主系统分析的充分与必要因果解释

研究区分故障分析的两类目标：复现（找出足以重现故障的条件）与规避（找出阻止故障所需的改变），指出现有基于充分解释的因果方法只支持复现。作者在实际因果框架下形式化必要解释，提出基于因果责任的近似算法，并在多个环境中评估效率，通过反事实生成展示其在故障规避上优于现有方法。