Details for the publication SunSDZ21.

Bing Sun, Jun Sun (), Ting Dai, Lijun Zhang: Probabilistic Verification of Neural Networks Against Group Fairness. In Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, volume 13047 of Lecture Notes in Computer Science, pages 83-102, 2021. DOI BIB