作者
Sanjit A Seshia, Dorsa Sadigh, S Shankar Sastry
发表日期
2022/6/21
期刊
Communications of the ACM
卷号
65
期号
7
页码范围
46-55
出版商
ACM
简介
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
学术搜索中的文章
SA Seshia, D Sadigh, SS Sastry - Communications of the ACM, 2022