Toward verified artificial intelligence
Abstract
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 21, 2022
- Source ID
- 10.1145/3503914
Entities
People
- Dorsa Sadigh
- S. Shankar Sastry
- Sanjit A. Seshia
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- Stanford University
- University of California, Berkeley