MBFair: a model-based verification methodology for detecting violations of individual fairness

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]

Authors

Qusai Ramadan

This author has not been identified. Look up 'Qusai Ramadan' in Google

Marco Konersmann

This author has not been identified. Look up 'Marco Konersmann' in Google

Amir Shayan Ahmadian

This author has not been identified. Look up 'Amir Shayan Ahmadian' in Google

Jan Jürjens

This author has not been identified. Look up 'Jan Jürjens' in Google

Steffen Staab

This author has not been identified. Look up 'Steffen Staab' in Google