Aug 10, 2024 Counterfactual Explanations with Probabilistic Guarantees on their Robustness to Model Change Jul 15, 2024 A SAT-based approach to rigorous verification of Bayesian networks Mar 20, 2024 A Multi-criteria approach for selecting an explanation from the set of counterfactuals produced by an ensemble of explainers