Trustworthy AI

The pursuit of responsible AI raises the ante on both the trustworthy computing and formal methods communities.

• Publication year

  2020

• Venue

  Communications of the ACM

• Publication date

  2020-02-14

• Fields of study

  Philosophy, Computer Science

• Identifiers
  DOI 10.1145/3448248arXiv 2002.06276
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Ensuring Fairness Beyond the Training Data

  2020cited by this paper
• Executive Order 13960: Promoting the Use of Trustworthy Artificial Intelligence in the Federal Government

  2020cited by this paper
• Adversarial attacks on medical machine learning

  2019cited by this paper
• A Formalization of Robustness for Deep Neural Networks

  2019cited by this paper
• Reduced variance deep reinforcement learning with temporal logic specifications

  2019cited by this paper
• VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems

  2019cited by this paper
• Case study: verifying the safety of an autonomous racing car with a neural network controller

  2019cited by this paper
• Preventing undesirable behavior of intelligent machines

  2019cited by this paper
• and s

  2019influential reference
• Formal Reasoning About the Security of Amazon Web Services

  2018cited by this paper
• Formal Security Analysis of Neural Networks using Symbolic Intervals

  2018cited by this paper
• Robust Physical-World Attacks on Deep Learning Visual Classification

  2018cited by this paper
• From C to interaction trees: specifying, verifying, and testing a networked server

  2018cited by this paper
• Efficient Formal Safety Analysis of Neural Networks

  2018cited by this paper
• Logical Foundations of Cyber-Physical Systems

  2018cited by this paper
• Formal Specification for Deep Neural Networks

  2018cited by this paper
• Verifying a high-performance crash-safe file system using a tree specification

  2017cited by this paper
• Everest: Towards a Verified, Drop-in Replacement of HTTPS

  2017cited by this paper
• FairSquare: probabilistic verification of program fairness

  2017cited by this paper
• Verified low-level programming embedded in F*

  2017cited by this paper
• Stan: A Probabilistic Programming Language.

  2017cited by this paper
• Inherent Trade-Offs in the Fair Determination of Risk Scores

  2016cited by this paper
• Fair Prediction with Disparate Impact: A Study of Bias in Recidivism Prediction Instruments

  2016cited by this paper
• Computer-Extracted Texture Features to Distinguish Cerebral Radionecrosis from Recurrent Brain Tumors on Multiparametric MRI: A Feasibility Study

  2016cited by this paper
• Foundations and Trends R © in Programming Languages

  2016cited by this paper
• A comprehensive survey on safe reinforcement learning

  2015cited by this paper
• Using Crash Hoare logic for certifying the FSCQ file system

  2015cited by this paper
• How Amazon web services uses formal methods

  2015cited by this paper
• Ironclad Apps: End-to-End Security via Automated Full-System Verification

  2014cited by this paper
• Fairness through awareness

  2011cited by this paper
• Theory of Cryptography

  2006cited by this paper
• Calibrating Noise to Sensitivity in Private Data Analysis

  2006cited by this paper
• SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft

  2004cited by this paper
• Formal verification at Intel

  2003cited by this paper
• PRISM: Probabilistic Symbolic Model Checker

  2002cited by this paper
• Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling

  2002cited by this paper
• Counterexample-Guided Abstraction Refinement

  2000cited by this paper
• Trust in cyberspace

  2000cited by this paper
• Trust in Cyberspace

  1998cited by this paper
• Verification techniques for cache coherence protocols

  1997cited by this paper
• Automatic Symbolic Verification of Embedded Systems

  1996cited by this paper
• Temporal Logic of Programs

  1987cited by this paper
• Specification and verification of concurrent systems in CESAR

  1982cited by this paper
• Verification of Concurrent Programs: Temporal Proof Principles

  1981cited by this paper
• Characterizing Correctness Properties of Parallel Programs Using Fixpoints

  1980cited by this paper
• Proving the Correctness of Multiprocess Programs

  1977cited by this paper
• Book Reviews

  1893cited by this paper
• This Paper Is Included in the Proceedings of the 12th Usenix Symposium on Operating Systems Design and Implementation (osdi '16). Certikos: an Extensible Architecture for Building Certified Concurrent Os Kernels Certikos: an Extensible Architecture for Building Certified Concurrent Os Kernels

  year unknowncited by this paper

• TWEEF: Trustworthiness Estimation and Enhancement Framework for Machine Learning Models

  2026cites this paper
• Physics-constrained symbolic regression for discovering closed-form equations of multimodal water retention curves from experimental data

  2026cites this paper
• Towards Responsible Artificial Intelligence Adoption: Emerging and Existing Ethical Issues in Africa

  2026cites this paper
• Towards a Representation Framework for EO Deep Learning Models in SDI

  2026cites this paper
• Point-KAN: Leveraging Trustworthy AI for Reliable 3-D Point Cloud Completion With Kolmogorov-Arnold Networks for 6G-IoT Applications

  2026cites this paper
• Building Trust in Artificial Intelligence: A Systematic Review through the Lens of Trust Theory

  2026influential citation
• Multi-objective reinforcement learning for provably incentivising alignment with value systems

  2026cites this paper
• Narrative Review on Symbolic Approaches for Explainable Artificial Intelligence: Foundations, Challenges, and Perspectives

  2025cites this paper
• Democratising Artificial Intelligence for Pandemic Preparedness and Global Governance in Latin American and Caribbean Countries

  2025cites this paper
• Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems

  2025cites this paper
• Personalization vs. Privacy: Ethical Frameworks for AI-Based Learning Systems

  2025cites this paper
• A probabilistic AI-based pedestrian volume estimation model for street-level urban management

  2025cites this paper
• Taiwanese high school students’ perspectives on artificial intelligence and its applications

  2025cites this paper
• Bridging the Communication Gap: Evaluating AI Labeling Practices for Trustworthy AI Development

  2025cites this paper
• AI Safety for Physical Infrastructures: A Collaborative and Interdisciplinary Approach

  2025cites this paper
• Trustworthiness Optimisation Process: A Methodology for Assessing and Enhancing Trust in AI Systems

  2025cites this paper
• Exploring Trust and Transparency in Retrieval-Augmented Generation for Domain Experts

  2025cites this paper
• Analyzing Trustworthy in AI: A Comprehensive Bibliometric Review of Artificial Intelligence Research

  2025cites this paper
• How Digital Health Literacy Affects Willingness to Adopt Telemedicine in an Emerging Country: The Case of Thailand

  2025cites this paper
• ShamAIn: Designing Superior Conversational AI Inspired by Shamanism

  2025cites this paper
• Safeguarded AI-Driven Semantic Communication: Design Principles, Architecture, and Challenges

  2025cites this paper
• Obstacle Analysis in Requirements Engineering: Retrospective and Emerging Challenges

  2025cites this paper
• On AI Verification in Open RAN

  2025cites this paper
• Cold Start Active Preference Learning in Socio-Economic Domains

  2025cites this paper
• Web-Based Platform for Fairness and Privacy Auditing of Machine Learning Models

  2025cites this paper
• Blockchain and Federated Learning for Safe Collaborative Machine Learning Systems with Differential Privacy

  2025cites this paper
• Between transparency and trust: identifying key factors in AI system perception

  2025cites this paper
• Fair Foundation Models for Medical Image Analysis: Challenges and Perspectives

  2025cites this paper
• Integrating Participatory Research and Literature Review to Identify Social and Ethical Requirements for Responsible AI in Heart Failure Treatment

  2025cites this paper
• AI in the city: impact assessment of artificial intelligence uses in earth observation

  2025cites this paper
• Framework, Standards, Applications and Best practices of Responsible AI : A Comprehensive Survey

  2025cites this paper
• The Role of Artificial Intelligence in Shaping Intelligent Motorways: Opportunities, Challenges, and Real-World Implementations

  2025cites this paper
• Are Large Language Models Effective Knowledge Graph Constructors?

  2025cites this paper
• A Novel AI System for Trustworthy and Accurate Diagnostics and Troubleshooting

  2025cites this paper
• Predicting visual field global and local parameters from OCT measurements using explainable machine learning

  2025cites this paper
• Malicious AI Models Undermine Software Supply-Chain Security

  2025cites this paper
• Valuable actions and actionable values: Tinkering with principles and practices in AI ethics

  2025cites this paper
• Local Statistical Parity for the Estimation of Fair Decision Trees

  2025cites this paper
• Quantitative risk assessment and risk control measure definition of a periodically unattended bridge

  2025cites this paper
• Knowledge graph support for descriptive business analytics

  2025cites this paper
• Prompt Engineering in Large Language Models for Patient Education: A Systematic Review

  2025cites this paper
• TOAST Framework: A Multidimensional Approach to Ethical and Sustainable AI Integration in Organizations

  2025cites this paper
• Towards Uncertainty Aware Task Delegation and Human-AI Collaborative Decision-Making

  2025cites this paper
• Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors

  2025cites this paper
• When engineering meets economics: AI-powered safe and accountable autonomous driving

  2025cites this paper
• SPATIAL: Practical AI Trustworthiness with Human Oversight

  2024cites this paper
• Generation and Countermeasures of adversarial examples on vision: a survey

  2024cites this paper
• The SPATIAL Architecture: Design and Development Experiences from Gauging and Monitoring the AI Inference Capabilities of Modern Applications

  2024cites this paper
• Responsible use of Generative AI in chemical engineering

  2024cites this paper
• Toward Trustworthy Artificial Intelligence (TAI) in the Context of Explainability and Robustness

  2024cites this paper
• Algorithm Bias and Perceived Fairness: A Comprehensive Scoping Review

  2024cites this paper
• Managing workplace AI risks and the future of work.

  2024cites this paper
• A Reference Process for Assessing the Reliability of Predictive Analytics Results

  2024cites this paper
• Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems

  2024influential citation
• Learning to Transform Dynamically for Better Adversarial Transferability

  2024cites this paper
• Coverage-based Data-centric Approaches for Responsible and Trustworthy AI

  2024cites this paper
• Verifiable Human Autonomy Teaming for NORAD C2 Operations

  2024cites this paper
• Data Poisoning Attacks in Cognitive Computing

  2024cites this paper
• Properties of Fairness Measures in the Context of Varying Class Imbalance and Protected Group Ratios

  2024cites this paper
• Explications et caractérisation de décisions équitables

  2024cites this paper
• Responsibility and Regulation: Exploring Social Measures of Trust in Medical AI

  2024cites this paper
• Statistical Challenges with Dataset Construction: Why You Will Never Have Enough Images

  2024cites this paper
• Improving Health Professionals' Onboarding with AI and XAI for Trustworthy Human-AI Collaborative Decision Making

  2024cites this paper
• Investigating fairness in machine learning-based audio sentiment analysis

  2024cites this paper
• Ethical and preventive legal technology

  2024cites this paper
• ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses

  2024cites this paper
• The role of standardisation in the adoption of artificial intelligence in the workplace

  2024cites this paper
• Designing an ML Auditing Criteria Catalog as Starting Point for the Development of a Framework

  2024influential citation
• Trust, trustworthiness and AI governance

  2024influential citation
• Hierarchical Invariance for Robust and Interpretable Vision Tasks at Larger Scales

  2024cites this paper
• AI Systems Trustworthiness Assessment: State of the Art

  2024cites this paper
• The METRIC-framework for assessing data quality for trustworthy AI in medicine: a systematic review

  2024cites this paper
• IMPACTS Homeostasis Trust Management System: Optimizing Trust in Human-AI Teams

  2024cites this paper
• Trustworthy remote sensing interpretation: Concepts, technologies, and applications

  2024cites this paper
• Statistical verification of autonomous system controllers under timing uncertainties

  2024cites this paper
• Trustworthiness Assurance Assessment for High-Risk AI-Based Systems

  2024cites this paper
• Shallow and deep learning classifiers in medical image analysis

  2024cites this paper
• Media Forensic Considerations of the Usage of Artificial Intelligence Using the Example of DeepFake Detection

  2024cites this paper
• An Implementable Guideline for Developing Ethical AI Systems: The Evaluation of Child Abuse and Neglect Prediction

  2024cites this paper
• Exploring Learners' Interactions with GenAI Agents in Educational Games: Typologies and Emotional Factors in Human-Computer Interaction

  2024cites this paper
• An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering

  2024cites this paper
• Could generative artificial intelligence serve as a psychological counselor? Prospects and limitations

  2024cites this paper
• Trustworthy AI in education: A Roadmap for Ethical and Effective Implementation

  2024cites this paper
• Aggregating value systems for decision support

  2024cites this paper
• Stress-Testing USB Accelerators for Efficient Edge Inference

  2024cites this paper
• Navigating the perils of artificial intelligence: a focused review on ChatGPT and responsible research and innovation

  2024cites this paper
• An Approach to Associate Provenance From ML Pipelines With Transparency and Accountability

  2024cites this paper
• Towards Trustworthy Machine Learning in Production: An Overview of the Robustness in MLOps Approach

  2024cites this paper
• Generative Example-Based Explanations: Bridging the Gap between Generative Modeling and Explainability

  2024cites this paper
• AI Robustness Against Attacks in City-Scale Autonomous Drone Deployments

  2024cites this paper
• Benchmarking Trust: A Metric for Trustworthy Machine Learning

  2024influential citation
• Data-Aware Training Quality Monitoring and Certification for Reliable Deep Learning

  2024cites this paper
• Representation of Trustworthiness Components in AI Systems: A Formalized Approach Considering Interconnections and Overlap

  2024cites this paper
• Establishing and evaluating trustworthy AI: overview and research challenges

  2024cites this paper
• Trustworthiness and Responsibility in AI - Causality, Learning, and Verification (Dagstuhl Seminar 24121)

  2024cites this paper
• A multi-dimensional hierarchical evaluation system for data quality in trustworthy AI

  2024cites this paper
• Security, privacy, and robustness for trustworthy AI systems: A review

  2024cites this paper
• Anunnaki: A Modular Framework for Developing Trusted Artificial Intelligence

  2024cites this paper
• Artificial Intelligence and the Future of Evaluation: From Augmented to Automated Evaluation

  2024cites this paper
• A Risk-based Approach to Trustworthy AI Systems for Judicial Procedures

  2024cites this paper