Defining Explainable AI for Requirements Analysis
Safety Verification of Deep Neural Networks