[IJCAI-2023 tutorial] Auditing Bias of Machine Learning Algorithms: Tools and Overview

Fairness Verification in Machine Learning: A Formal Methods Approach

IMLI: Incremental learning of interpretable classification rules