Toward verified artificial intelligence

Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry
2022 Communications of the ACM  
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
doi:10.1145/3503914 fatcat:ggc543oemfah3mboiftldvotuq