Key points are not available for this paper at this time.
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
Seshia et al. (Tue,) studied this question.