AI Verification

Name: AI Verification
Brand: Springer, Berlin
SKU: 9783032323569
Price: 77.13 EUR
Availability: PreOrder

Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings

Автор: Guy Avni, Christian Schilling

Език:

Корици: С меки корици

Издател: Springer, Berlin

Наличност: Очакван нов продукт

Издание 27. 09. 2026

77.13 € 150.86 лв

This book constitutes the refereed proceedings of the Third International Symposium on AI Verificati...

Информация за книгата

Автор

Guy Avni, Christian Schilling

Език

Английски език

Корици

Книга - С меки корици

Издадена

2026

страници

403

EAN

9783032323569

Enbook ID

52830582

Издател

Springer, Berlin

Размери

155 x 235

Пълно описание

This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24 25, 2026.

The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,
formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

AI Verification

Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Why Your Five Year Old Could Not Have Done That

High-Resolution X-Ray Scattering

Water Resource: Conservation and Management (Volume II)

Cosmic Breath

AI Infrastructures and Sustainability

AI Strategy for Sales Teams

Клиенти, които купиха тази книга, купиха също

El Blasón Espa?ol Ó La Ciencia Heráldica: Escudos De Armas De Los Diferentes Reinos... [de] Espa?a...

Sherlock Holmes vyšetruje: Diablovo kopýtko

Papi Rebelle (Edition 2024 - poche)

Innesto di ortaggi nel peperoncino

Abschied Vom Paradies

180-Grad-Wende: Kompletter Lebensreset in der Stille

Abraham - Stammvater der monotheistischen Religionen