{"product_id":"ai-verification-von-undefined-1","title":"AI Verification","description":"\n                                \n                \u003cp\u003eThis LNCS volume constitutes the proceedings of the Second International Symposium, SAIV 2025, in Zagreb, Croatia, during July 2025.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003e\n                                        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\n                    \n                    \u003cbr\u003e\n                                        synthesis; AI methods for safe control; and AI methods for falsification.\n                \n                \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031999901\"\u003e\u003ch3\u003eSecond International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031999901","offer_id":56357307941189,"sku":"9783031999901","price":62.05,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/287505ca-fe16-4048-99ce-a6a4acaec56a.jpg?v=1778042346","url":"https:\/\/shop.autorenwelt.de\/en\/products\/ai-verification-von-undefined-1","provider":"Autorenwelt Shop","version":"1.0","type":"link"}