Making AI more trustworthy with a formal methods-based approach to AI system verification and validation. BY SANJIT A. SESHIA, DORSA SADIGH, AND S. SHANKAR SASTRY