Showing 1–11 of 11 results
/ Date/ Name
Jun 5, 2024Evaluating AI fairness in credit scoring with the BRIO toolMar 8, 2021Robust Model Checking with Imprecise Markov Reward ModelsJun 5, 2025Trustworthiness Preservation by Copies of Machine Learning SystemsJun 26, 2022Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction SystemFeb 2, 2023A Typed Lambda-Calculus for Establishing Trust in Probabilistic ProgramsApr 21, 2026Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AIFeb 6, 2015A framework for trustworthiness assessment based on fidelity in cyber and physical domainsJul 19, 2025A Proof System with Causal Labels (Part II): checking Counterfactual FairnessApr 12, 2026A Linear Temporal Logic of Frequencies on Series of EventsMay 11, 2023Data quality dimensions for fair AIJul 19, 2025A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality