[PDF][PDF] 基于概率模型检查的树模型公平性验证方法
王艳， 侯哲， 黄滟鸿， 史建琦， 张格林 - 软件学报, 2022 - jos.org.cn
… This study proposes a probabilistic model checking solution to formally verify fairness …
Classification with fairness constraints: A meta-algorithm with provable guarantees. In: Proc. …
Classification with fairness constraints: A meta-algorithm with provable guarantees. In: Proc. …