AI Verification
Available
This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24–25, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,formal methods for artificial intellige...
Read more
E-book
pdf
Price
59.99 £
This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24–25, 2026.The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,formal methods for artificial intellige...
Read more