Counterfactual Causality in Networks
Formal Languages and Automata Theory
2022-11-03 v1
Abstract
In this abstract we propose a framework for explaining violations of safety properties in Software Defined Networks, using counterfactual causal reasoning.
Keywords
Cite
@article{arxiv.2211.00758,
title = {Counterfactual Causality in Networks},
author = {Georgiana Caltais and Can Olmezoglu},
journal= {arXiv preprint arXiv:2211.00758},
year = {2022}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Counterfactual Causality from First Principles?
Gregor Gössler, Oleg Sokolsky, Jean-Bernard Stefani
2017-10-11
Formal Languages and Automata Theory · Computer Science
Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
Rayna Dimitrova, Rupak Majumdar, Vinayak S. Prabhu
2019-01-04
Software Engineering · Computer Science
Causality in Configurable Software Systems
Clemens Dubslaff, Kallistos Weis, Christel Baier, Sven Apel
2022-03-01
Cryptography and Security · Computer Science
Can Causal (and Counterfactual) Reasoning improve Privacy Threat Modelling?
Rakshit Naidu, Navid Kagalwalla
2022-07-21
Logic in Computer Science · Computer Science
Counterfactual Causality for Reachability and Safety based on Distance Functions
Julie Parreaux, Jakob Piribauer, Christel Baier
2023-10-03
Logic in Computer Science · Computer Science
Counterfactual Causality for Reachability and Safety based on Distance Functions
Julie Parreaux, Jakob Piribauer, Christel Baier
2023-08-23
Neurons and Cognition · Quantitative Biology
Counterfactual Analysis of Brain Network Dynamics
Moo K. Chung, Luigi Maccotta, Aaron Struck
2026-04-01
Artificial Intelligence · Computer Science
Bayesian Networks for Causal Analysis in Socioecological Systems
Rafael Cabañas, Ana D. Maldonado, María Morales, Pedro A. Aguilera +1
2024-12-06
Machine Learning · Computer Science
Neural Causal Models for Counterfactual Identification and Estimation
Kevin Xia, Yushu Pan, Elias Bareinboim
2022-10-04
Distributed, Parallel, and Cluster Computing · Computer Science
Causality in concurrent systems
Silvia Crafa, Federica Russo
2013-03-07
Artificial Intelligence · Computer Science
Counterfactual Language Reasoning for Explainable Recommendation Systems
Guanrong Li, Haolin Yang, Xinyu Liu, Zhen Wu +1
2025-03-12
Computers and Society · Computer Science
Towards a Unified Model of Accountability Infrastructures
Severin Kacianka, Florian Kelbert, Alexander Pretschner
2016-08-30
Distributed, Parallel, and Cluster Computing · Computer Science
Using Counterfactuals in Knowledge-Based Programming
Joseph Y. Halpern, Yoram Moses
2007-05-23
Artificial Intelligence · Computer Science
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
Sopam Dasgupta, Joaquín Arias, Elmer Salazar, Gopal Gupta
2024-05-28
Machine Learning · Computer Science
When Counterfactual Reasoning Fails: Chaos and Real-World Complexity
Yahya Aalaila, Gerrit Großmann, Sumantrak Mukherjee, Jonas Wahl +1
2025-04-11
Machine Learning · Computer Science
Estimating Categorical Counterfactuals via Deep Twin Networks
Athanasios Vlontzos, Bernhard Kainz, Ciaran M. Gilligan-Lee
2023-01-23
Robotics · Computer Science
Causal Bayesian Networks for Data-driven Safety Analysis of Complex Systems
Roman Gansch, Lina Putze, Tjark Koopmann, Jan Reich +1
2025-05-27
Machine Learning · Statistics
A Causal Bayesian Networks Viewpoint on Fairness
Silvia Chiappa, William S. Isaac
2019-07-16
Software Engineering · Computer Science
Towards Counterfactual Explanation and Assertion Inference for CPS Debugging
Zaid Ghazal, Hadiza Yusuf, Khouloud Gaaloul
2026-04-10
Logic in Computer Science · Computer Science
(De-)Composing Causality in Labeled Transition Systems
Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
2016-08-30
Artificial Intelligence · Computer Science
Counterfactually Fair Prediction Using Multiple Causal Models
Fabio Massimo Zennaro, Magdalena Ivanovska
2021-05-25
Machine Learning · Statistics
Causal Inference with Deep Causal Graphs
Álvaro Parafita, Jordi Vitrià
2020-06-16
Systems and Control · Electrical Eng. & Systems
Cascading Failure Prediction via Causal Inference
Shiuli Subhra Ghosh, Anmol Dwivedi, Ali Tajer, Kyongmin Yeo +1
2024-10-28
Machine Learning · Computer Science
An ASP-Based Approach to Counterfactual Explanations for Classification
Leopoldo Bertossi
2020-06-17
Robotics · Computer Science
Counterfactual Explanation and Causal Inference in Service of Robustness in Robot Control
Simón C. Smith, Subramanian Ramamoorthy
2020-09-23