Towards Verified Artificial Intelligence

Sanjit A. Seshia, Dorsa Sadigh, and S. Shankar Sastry. Towards Verified Artificial Intelligence. ArXiv e-prints, July 2016.

Download

[HTML] 

Abstract

Verified artificial intelligence (AI) is the goal of designing AI-based systems that are provably correct 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.

BibTeX

@ARTICLE{seshia-arxiv16,
   author = {Sanjit A. Seshia and Dorsa Sadigh and S. Shankar Sastry},
    title = "{Towards Verified Artificial Intelligence}",
   journal = {ArXiv e-prints},
   archivePrefix = "arXiv",
   eprint = {1606.08514},
     year = 2016,
    month = "July",
  abstract = {Verified artificial intelligence (AI) is the goal of designing AI-based systems that are provably correct 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.},
}