Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper.

Qusai Ramadan, Jukka Ruohonen, Abhishek Tiwari, Adam Alami, Zeyd Boukhers

Browse the full RE paper archive.