Counterfactual Causality in Networks
Abstract
In this abstract we propose a framework for explaining violations of safety properties in Software Defined Networks, using counterfactual causal reasoning.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2022
- DOI:
- 10.48550/arXiv.2211.00758
- arXiv:
- arXiv:2211.00758
- Bibcode:
- 2022arXiv221100758C
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- https://nwpt.w.uib.no/files/2022/11/NWPT22_paper_3631.pdf