Qusai Ramadan, Marco Konersmann, Amir Shayan Ahmadian, Jan Jürjens, Steffen Staab. MBFair: a model-based verification methodology for detecting violations of individual fairness. Software and Systems Modeling, 24(1):111-136, February 2025. [doi]
Abstract is missing.