TY - RPRT TI - Towards Systematic Specification and Verification of Fairness Requirements: A Position Paper AU - Qusai Ramadan AU - Jukka Ruohonen AU - Abhishek Tiwari AU - Adam Alami AU - Zeyd Boukhers PY - 2025 UR - https://arxiv.org/abs/2509.20387 ID - 2509.20387 ER -