Monitoring algorithmic fairness

DOI10.1007/978-3-031-37703-7_17zbMATH Open1545.68101MaRDI QIDQ6535545

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

Publication date: 12 January 2024

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Collecting statistics over runtime executions
• Runtime monitors for Markov decision processes
• On the sub-Gaussianity of the beta and Dirichlet distributions
• Fairness through awareness
• Bayesian Analysis of Stochastic Process Models
• Statistical Model Checking for Cyber-Physical Systems
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Quantitative Automata under Probabilistic Semantics
• A Theory of Register Monitors
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• 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
• A survey of statistical model checking

This page was built for publication: Monitoring algorithmic fairness