1. Alekh Agarwal , Alina Beygelzimer , Miroslav Dudík , John Langford , and Hanna Wallach . 2018 . A reductions approach to fair classification . In International Conference on Machine Learning. PMLR, 60–69 . Alekh Agarwal, Alina Beygelzimer, Miroslav Dudík, John Langford, and Hanna Wallach. 2018. A reductions approach to fair classification. In International Conference on Machine Learning. PMLR, 60–69.
2. Fairness-Aware Programming
3. Ezio Bartocci and Yliès Falcone . 2018. Lectures on Runtime Verification . Springer . Ezio Bartocci and Yliès Falcone. 2018. Lectures on Runtime Verification. Springer.
4. Richard Berk , Hoda Heidari , Shahin Jabbari , Matthew Joseph , Michael Kearns , Jamie Morgenstern , Seth Neel , and Aaron Roth . 2017. A convex framework for fair regression. arXiv preprint arXiv:1706.02409 ( 2017 ). Richard Berk, Hoda Heidari, Shahin Jabbari, Matthew Joseph, Michael Kearns, Jamie Morgenstern, Seth Neel, and Aaron Roth. 2017. A convex framework for fair regression. arXiv preprint arXiv:1706.02409 (2017).
5. Roderick Bloem , Bettina Könighofer , Robert Könighofer , and Chao Wang . 2015. Shield synthesis: Runtime enforcement for reactive systems . In Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015 , Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings 21. Springer , 533–548. Roderick Bloem, Bettina Könighofer, Robert Könighofer, and Chao Wang. 2015. Shield synthesis: Runtime enforcement for reactive systems. In Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings 21. Springer, 533–548.