@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@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.},
}