Probabilistic verification of neural networks against group fairness. (English) Zbl 1521.68159
Huisman, Marieke (ed.) et al., Formal methods. 24th international symposium, FM 2021, virtual event, November 20–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13047, 83-102 (2021).