Monitoring algorithmic fairness
From MaRDI portal
Publication:6535545
DOI10.1007/978-3-031-37703-7_17zbMATH Open1545.68101MaRDI QIDQ6535545FDOQ6535545
Authors: Thomas A. Henzinger, Mahyar Karimi, Konstantin Kueffner, Kaushik Mallik 
Publication date: 12 January 2024
Cites Work
- Fairness through awareness
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Collecting statistics over runtime executions
- Bayesian analysis of stochastic process models
- Statistical model checking for cyber-physical systems
- Title not available (Why is that?)
- Probabilistic Hyperproperties of Markov Decision Processes
- Title not available (Why is that?)
- Robust satisfaction of temporal logic over real-valued signals
- Runtime monitors for Markov decision processes
- Title not available (Why is that?)
- Quantitative Automata under Probabilistic Semantics
- Title not available (Why is that?)
- On the sub-Gaussianity of the beta and Dirichlet distributions
- A Theory of Register Monitors
- Title not available (Why is that?)
- Probabilistic Verification of Neural Networks Against Group Fairness
- PAC statistical model checking for Markov decision processes and stochastic games
- A survey of statistical model checking
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)
