Artificial Intelligence for Verification and Validation of Safety-Critical Systems: A Bibliometric Science-Mapping Study and an Assurance-Level Framework (AVAF) (2016–2026)
Artificial intelligence (AI) and formal verification and validation (V&V) are two of the most consequential areas in safety-critical systems engineering, and they interact in a dual way: AI is increasingly used to support V&V, while V&V is increasingly applied to certify AI components whose high-dimensional and emergen...