-
Counterfactual Explanations with Probabilistic Guarantees on their Robustness to Model Change
this is what included images could look like
-
A SAT-based approach to rigorous verification of Bayesian networks
A SAT-based approach to rigorous verification of Bayesian networks
-
On usefulness of dominance relation for selecting counterfactuals from the ensemble of explainers
this is what included images could look like