Toward verified artificial intelligence

著者: Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry - Communications of the ACM, CACM 2022 被引用: 187

Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.