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...

Popoln opis

Bibliografske podrobnosti

Korporativna značnica:	SpringerLink (Online service)
Drugi avtorji:	Avni, Guy (Editor), Giacobbe, Mirco (Editor), Johnson, Taylor T. (Editor), Katz, Guy (Editor), Lukina, Anna (Editor), Narodytska, Nina (Editor), Schilling, Christian (Editor)
Format:	Elektronski eKnjiga
Jezik:	angleščina
Izdano:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Izdaja:	1st ed. 2024.
Serija:	Lecture Notes in Computer Science, 14846
Teme:	Artificial intelligence. Artificial Intelligence.
Online dostop:	https://doi.org/10.1007/978-3-031-65112-0
Oznake:	Označite Brez oznak, prvi označite!