International Symposium on AI Verification (2024 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

AI verification = first International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024 : proceedings / by: International Symposium on AI Verification (2024 :); Avni, Guy.; SpringerLink (Online service) (Electronic resources)

Subjects