AI Verification: First International Symposium, Saiv 2024, Montreal, Qc, Canada, July 22-23, 2024, Proceedings
Avni, Guy, Giacobbe, Mirco, Johnson, Taylor T.
相關主題
商品描述
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 specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.
商品描述(中文翻譯)
本 LNCS 卷為 2024 年 7 月在加拿大蒙特利爾舉行的第一屆國際人工智慧驗證研討會（SAIV 2024）的會議紀錄。
主題範圍大致分為兩個類別。第一類別是針對人工智慧的形式方法，包括：具有 AI 元件的系統的形式規範；分析具有 AI 元件的系統的形式方法；AI 元件的形式合成方法；具有 AI 元件的系統的測試方法；分析具有 AI 元件的系統的統計方法；以及增強具有 AI 元件的系統可解釋性的方法。第二類別是針對形式方法的人工智慧，包括：用於形式驗證的 AI 方法；用於形式合成的 AI 方法；用於安全控制的 AI 方法；以及用於反駁的 AI 方法。
