AI verification : first International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, proceedings / Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling, editors.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , , , , , , |
| Other title: | SAIV 2024 |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2024.
|
| Series: | Lecture notes in computer science ;
14846. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
Q334
|
|---|---|
| Q334 | Available |