It has increasingly been recognised that verification can contribute to the validation and
debugging of neural networks before deployment, particularly in safety-critical areas. While …

Counterfactual Explanations (CEs) have emerged as a major paradigm in explainable AI
research, providing recourse recommendations for users affected by the decisions of …