Invited Talk: Using SMT and Abstraction-Refinement for Neural Network VerificationDownload PDF

Guy Katz

Published: 2021, Last Modified: 12 May 2023SMT 2021Readers: Everyone
0 Replies