Francesco Leofante

counterfactual explanation (6) explainable ai (3) optimal planning (2) model robustness (2) computational argumentation (1) neural network interpretability (1) model interpretability (1) formal verification (1) markov decision process (1) machine learning (1) approximation algorithm (1) neural network verification (1) counterfactual reasoning (1) task execution (1) black-box model (1) algorithmic recourse (1) robustness guarantee (1) temporal constraint (1) strategy synthesis (1) explainable machine learning (1)