Repairing decision-making programs under uncertainty
From MaRDI portal
Publication:2151244
DOI10.1007/978-3-319-63387-9_9zbMath1494.68046OpenAlexW2735457297MaRDI QIDQ2151244
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
Publication date: 1 July 2022
Full work available at URL: https://doi.org/10.1007/978-3-319-63387-9_9
Learning and adaptive systems in artificial intelligence (68T05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (2)
Synthesizing Fair Decision Trees via Iterative Constraint Solving ⋮ Probabilistic Verification of Neural Networks Against Group Fairness
This page was built for publication: Repairing decision-making programs under uncertainty