TY  - RPRT
TI  - Probabilistic Verification of Fairness Properties via Concentration
AU  - Osbert Bastani
AU  - Xin Zhang
AU  - Armando Solar-Lezama
PY  - 2019
UR  - https://arxiv.org/abs/1812.02573
ID  - 1812.02573
ER  -