Key points are not available for this paper at this time.
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
Building similarity graph...
Analyzing shared references across papers
Loading...
Seshia et al. (Tue,) studied this question.
www.synapsesocial.com/papers/6a12f6f013ab6312a8c0c76e — DOI: https://doi.org/10.1145/3503914
Sanjit A. Seshia
Dorsa Sadigh
Shankar Sastry
Communications of the ACM
Stanford University
University of California, Berkeley
Building similarity graph...
Analyzing shared references across papers
Loading...