AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal s...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Avni, Guy, Giacobbe, Mirco, Johnson, Taylor T, Katz, Guy, Lukina, Anna, Narodytska, Nina, Schilling, Christian
Format:	Buch
Sprache:	eng
Schlagworte:	Artificial intelligence Truth maintenance systems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!