Formal Decision Traces for Data-Driven Verification and Post- Quantum Attestation in Cyber-Resilient Explainable AI Systems

Research Square 2026 Preprint Open access

Read full text

Authors: Tiffany Alexis Ceasor

DOI: 10.21203/rs.3.rs-8736256/v1

Cited by: 0

Fields of Study & Subjects

Explainable Artificial Intelligence (XAI) Formal Methods in Verification Safety Systems Engineering in Autonomy