Assurance of AI Systems From a Dependability Perspective
Fuente:
arXiv
Saved in:
| Main Authors: | Bloomfield, Robin, Rushby, John |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems
by: Bloomfield, Robin, et al.
Published: (2025)
by: Bloomfield, Robin, et al.
Published: (2025)
Assessing Confidence with Assurance 2.0
by: Bloomfield, Robin, et al.
Published: (2022)
by: Bloomfield, Robin, et al.
Published: (2022)
Defeaters and Eliminative Argumentation in Assurance 2.0
by: Bloomfield, Robin, et al.
Published: (2024)
by: Bloomfield, Robin, et al.
Published: (2024)
Confidence in Assurance 2.0 Cases
by: Bloomfield, Robin, et al.
Published: (2024)
by: Bloomfield, Robin, et al.
Published: (2024)
Quantifying Confidence in Assurance 2.0 Arguments
by: Bloomfield, Robin, et al.
Published: (2026)
by: Bloomfield, Robin, et al.
Published: (2026)
A Framework for the Assurance of AI-Enabled Systems
by: Kapusta, Ariel S., et al.
Published: (2025)
by: Kapusta, Ariel S., et al.
Published: (2025)
Out-of-Distribution Detection for Safety Assurance of AI and Autonomous Systems
by: Hodge, Victoria J., et al.
Published: (2025)
by: Hodge, Victoria J., et al.
Published: (2025)
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
by: Murugesan, Anitha, et al.
Published: (2024)
by: Murugesan, Anitha, et al.
Published: (2024)
AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems
by: Badagi, Chitra, et al.
Published: (2026)
by: Badagi, Chitra, et al.
Published: (2026)
E-LENS: User Requirements-Oriented AI Ethics Assurance
by: Zhou, Jianlong, et al.
Published: (2025)
by: Zhou, Jianlong, et al.
Published: (2025)
On the Promise for Assurance of Differentiable Neurosymbolic Reasoning Paradigms
by: Richards, Luke E., et al.
Published: (2025)
by: Richards, Luke E., et al.
Published: (2025)
Meta-Sealing: A Revolutionizing Integrity Assurance Protocol for Transparent, Tamper-Proof, and Trustworthy AI System
by: Krishnamoorthy, Mahesh Vaijainthymala
Published: (2024)
by: Krishnamoorthy, Mahesh Vaijainthymala
Published: (2024)
Lessons Learned from the Use of Generative AI in Engineering and Quality Assurance of a WEB System for Healthcare
by: Travassos, Guilherme H., et al.
Published: (2025)
by: Travassos, Guilherme H., et al.
Published: (2025)
Failures in Perspective-taking of Multimodal AI Systems
by: Leonard, Bridget, et al.
Published: (2024)
by: Leonard, Bridget, et al.
Published: (2024)
Automated Population-Level Audit Assurance via AI-Based Document Intelligence
by: Vasudevan, Santosh, et al.
Published: (2026)
by: Vasudevan, Santosh, et al.
Published: (2026)
A Systematic Review of Algorithmic Red Teaming Methodologies for Assurance and Security of AI Applications
by: Srivastava, Shruti, et al.
Published: (2026)
by: Srivastava, Shruti, et al.
Published: (2026)
A Trace-Based Assurance Framework for Agentic AI Orchestration: Contracts, Testing, and Governance
by: Paduraru, Ciprian, et al.
Published: (2026)
by: Paduraru, Ciprian, et al.
Published: (2026)
Justified Evidence Collection for Argument-based AI Fairness Assurance
by: Sabuncuoglu, Alpay, et al.
Published: (2025)
by: Sabuncuoglu, Alpay, et al.
Published: (2025)
Dataset Safety in Autonomous Driving: Requirements, Risks, and Assurance
by: Abbaspour, Alireza, et al.
Published: (2025)
by: Abbaspour, Alireza, et al.
Published: (2025)
The Rise of Agentic Testing: Multi-Agent Systems for Robust Software Quality Assurance
by: Naqvi, Saba, et al.
Published: (2026)
by: Naqvi, Saba, et al.
Published: (2026)
Context Lineage Assurance for Non-Human Identities in Critical Multi-Agent Systems
by: Malkapuram, Sumana, et al.
Published: (2025)
by: Malkapuram, Sumana, et al.
Published: (2025)
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)
AI-Driven Tools in Modern Software Quality Assurance: An Assessment of Benefits, Challenges, and Future Directions
by: Pysmennyi, Ihor, et al.
Published: (2025)
by: Pysmennyi, Ihor, et al.
Published: (2025)
Incorporating Failure of Machine Learning in Dynamic Probabilistic Safety Assurance
by: Arshadizadeh, Razieh, et al.
Published: (2025)
by: Arshadizadeh, Razieh, et al.
Published: (2025)
AI Explainability for Power Electronics: From a Lipschitz Continuity Perspective
by: Li, Xinze, et al.
Published: (2025)
by: Li, Xinze, et al.
Published: (2025)
Multi-level Value Alignment in Agentic AI Systems: Survey and Perspectives
by: Zeng, Wei, et al.
Published: (2025)
by: Zeng, Wei, et al.
Published: (2025)
Perspectives on a Reliability Monitoring Framework for Agentic AI Systems
by: Flehmig, Niclas, et al.
Published: (2025)
by: Flehmig, Niclas, et al.
Published: (2025)
Towards Assurance of LLM Adversarial Robustness using Ontology-Driven Argumentation
by: Momcilovic, Tomas Bueno, et al.
Published: (2024)
by: Momcilovic, Tomas Bueno, et al.
Published: (2024)
A Survey of Generative AI for Intelligent Transportation Systems: Road Transportation Perspective
by: Yan, Huan, et al.
Published: (2023)
by: Yan, Huan, et al.
Published: (2023)
Choosing the Lens: Strategic Perspective Activation in Context-Dependent Argumentation
by: Sadowski, Albert, et al.
Published: (2026)
by: Sadowski, Albert, et al.
Published: (2026)
LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning
by: Nananukul, Navapat, et al.
Published: (2025)
by: Nananukul, Navapat, et al.
Published: (2025)
Improving LLM Performance Through Black-Box Online Tuning: A Case for Adding System Specs to Factsheets for Trusted AI
by: Atinafu, Yonas, et al.
Published: (2026)
by: Atinafu, Yonas, et al.
Published: (2026)
Agentic AI for Ultra-Modern Networks: Multi-Agent Framework for RAN Autonomy and Assurance
by: Singh, Sukhdeep, et al.
Published: (2025)
by: Singh, Sukhdeep, et al.
Published: (2025)
Towards Continuous Assurance with Formal Verification and Assurance Cases
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)
by: Abeywickrama, Dhaminda B., et al.
Published: (2025)
From Features to Actions: Explainability in Traditional and Agentic AI Systems
by: Chaduvula, Sindhuja, et al.
Published: (2026)
by: Chaduvula, Sindhuja, et al.
Published: (2026)
Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems
by: Bagheri, Maryam, et al.
Published: (2022)
by: Bagheri, Maryam, et al.
Published: (2022)
CoDefeater: Using LLMs To Find Defeaters in Assurance Cases
by: Gohar, Usman, et al.
Published: (2024)
by: Gohar, Usman, et al.
Published: (2024)
Causal Reasoning in Software Quality Assurance: A Systematic Review
by: Giamattei, Luca, et al.
Published: (2024)
by: Giamattei, Luca, et al.
Published: (2024)
Alignment, Agency and Autonomy in Frontier AI: A Systems Engineering Perspective
by: Tallam, Krti
Published: (2025)
by: Tallam, Krti
Published: (2025)
From Statistical Relational to Neurosymbolic Artificial Intelligence: a Survey
by: Marra, Giuseppe, et al.
Published: (2021)
by: Marra, Giuseppe, et al.
Published: (2021)
Similar Items
-
Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems
by: Bloomfield, Robin, et al.
Published: (2025) -
Assessing Confidence with Assurance 2.0
by: Bloomfield, Robin, et al.
Published: (2022) -
Defeaters and Eliminative Argumentation in Assurance 2.0
by: Bloomfield, Robin, et al.
Published: (2024) -
Confidence in Assurance 2.0 Cases
by: Bloomfield, Robin, et al.
Published: (2024) -
Quantifying Confidence in Assurance 2.0 Arguments
by: Bloomfield, Robin, et al.
Published: (2026)