AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings (Lecture Notes in Computer Science)

予約

AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings (Lecture Notes in Computer Science)

Avni, Guy (EDT)/ Giacobbe, Mirco (EDT)/ Johnson, Taylor T. (EDT)

Springer International Publishing AG（2025/09発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Paperback:紙装版/ペーパーバック版／ページ数 280 p.
言語 ENG
商品コード 9783031999901

Full Description

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; The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification;