Monitoring algorithmic fairness

DOI10.1007/978-3-031-37703-7_17MaRDI QIDQ6535545zbMATH OpenFDO

Authors Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik

Publication date 12 January 2024

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• Fairness under composition
• scientific article; zbMATH DE number 7064055
• Achieving fair treatment in algorithmic classification
• Fairness through awareness

Cites work

• scientific article; zbMATH DE number 1670788 (Why is no real title available?)
• scientific article; zbMATH DE number 6866333 (Why is no real title available?)
• scientific article; zbMATH DE number 1905115 (Why is no real title available?)
• scientific article; zbMATH DE number 1391242 (Why is no real title available?)
• scientific article; zbMATH DE number 7559076 (Why is no real title available?)
• scientific article; zbMATH DE number 7064055 (Why is no real title available?)
• scientific article; zbMATH DE number 7650833 (Why is no real title available?)
• A survey of statistical model checking
• A theory of register monitors
• Bayesian analysis of stochastic process models
• Collecting statistics over runtime executions
• Fairness through awareness
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• On the sub-Gaussianity of the beta and Dirichlet distributions
• PAC statistical model checking for Markov decision processes and stochastic games
• Probabilistic Hyperproperties of Markov Decision Processes
• Probabilistic Verification of Neural Networks Against Group Fairness
• Robust satisfaction of temporal logic over real-valued signals
• Runtime monitors for Markov decision processes
• Statistical model checking for cyber-physical systems

This page was built for publication: Monitoring algorithmic fairness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535545)