[SunSDZ21] Probabilistic Verification of Neural Networks Against Group Fairness Sun, B.; Sun, J.; Dai, T. and Zhang, L. In FM, pages 83-102, Springer, Lecture Notes in Computer Science 13047, 2021.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-90870-6_5