@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-cacm22a,
author = {Sanjit A. Seshia and
Dorsa Sadigh and
S. Shankar Sastry},
title = {Toward Verified Artificial Intelligence},
journal = {Communications of the {ACM}},
volume = {65},
number = {7},
pages = {46--55},
year = {2022},
abstract = {Verified artificial intelligence (AI) is the goal of designing AI-based systems 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 fifteen corresponding principles for addressing these challenges.},
}