Vu Ha, Tariq Samad: Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification. IJCAI 2005: 722-727