AI Verification: Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings
Author:   Mirco Giacobbe ,  Anna Lukina ,  Taylor T. Johnson ,  Guy Katz
Publisher:   Springer International Publishing AG
Volume:   15947
ISBN:  

9783031999901


Pages:   280
Publication Date:   28 October 2025
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $171.57 Quantity:  
Add to Cart

Share |

AI Verification: Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21–22, 2025, Proceedings


Overview

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.

Full Product Details

Author:   Mirco Giacobbe ,  Anna Lukina ,  Taylor T. Johnson ,  Guy Katz
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   15947
ISBN:  

9783031999901


ISBN 10:   3031999908
Pages:   280
Publication Date:   28 October 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   English

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now