Publication

[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: bib