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