AI Verification: Second International Symposium, Saiv 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings
暫譯: AI 驗證：第二屆國際研討會，Saiv 2025，克羅埃西亞札格雷布，2025年7月21-22日，會議論文集
Giacobbe, Mirco, Lukina, Anna
相關主題
商品描述
This LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.
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 卷冊是第二屆國際研討會 SAIV 2025 的會議紀錄，於 2025 年 7 月在克羅埃西亞的札格雷布舉行。
主題範圍大致分為兩個組別。第一組是針對人工智慧的形式方法，包括：具有 AI 元件的系統的形式規範；分析具有 AI 元件的系統的形式方法；AI 元件的形式合成方法；具有 AI 元件的系統的測試方法；分析具有 AI 元件的系統的統計方法；以及增強具有 AI 元件的系統可解釋性的方法。第二組是針對形式方法的人工智慧，包括：用於形式驗證的 AI 方法；用於形式合成的 AI 方法；用於安全控制的 AI 方法；以及用於反駁的 AI 方法。
