Formal methods for responsibility reasoning in multi-agent systems Inproceedings
In: Third International Workshop on Formal Methods in Artificial Intelligence (FMAI 2021) (15/04/21 - 16/04/21), 2021.
Explainable Recommendations and Calibrated Trust: Two Systematic User Errors Journal Article
In: Computer, vol. 54, no. 10, pp. 28-37, 2021.