@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@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.},
}