paper

Counterfactual Causality in Networks

arXiv:2211.00758

Abstract

In this abstract we propose a framework for explaining violations of safety properties in Software Defined Networks, using counterfactual causal reasoning.