Towards Verified Artificial Intelligence
  Verified artificial intelligence (AI) is the goal of designing AI-based systems that that have strong, ideally provable, assurances of correctness with respect to mathematically-specified requirements. This paper considers Verified AI from a formal methods perspective. We describe five challenges for achieving Verified AI, and five corresponding principles for addressing these challenges. 
Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry
cs.AI