Items related to AI Verification: Third International Symposium, SAIV...
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings (Lecture Notes in Computer Science, 16831) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for AI Verification: Third International Symposium, SAIV...
Stock Image
AI Verification (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032323568
ISBN 13: 9783032323569
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 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. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783032323569
Stock Image
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings (Lecture Notes in Computer Science, 16831)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783032323569
Seller Image
AI Verification
Published by
Springer, Berlin, Springer Sep 2026, 2026
ISBN 10: 3032323568
ISBN 13: 9783032323569
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, duringJuly 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. 402 pp. Englisch. Seller Inventory # 9783032323569
Seller Image
AI Verification : Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, duringJuly 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. Seller Inventory # 9783032323569
Seller Image
AI Verification
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 3439035169
Buy New
£ 54.64
£ 41.63 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 2425, 2026, Proceedings (Lecture Notes in Computer Science, 16831)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 413 pages. 6.14x0.85x9.21 inches. In Stock. Seller Inventory # x-3032323568
Buy New
£ 91.55
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
AI Verification (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032323568
ISBN 13: 9783032323569
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 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. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9783032323569
Buy New
£ 71.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
AI Verification
Print on DemandSeller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch. Seller Inventory # 9783032323569
Seller Image
AI Verification | Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. AI Verification | Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings | Guy Avni (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2026 | Springer | EAN 9783032323569 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 135966048
Stock Image
AI Verification (Paperback)
Published by
Springer Nature Switzerland AG, Cham, 2026
ISBN 10: 3032323568
ISBN 13: 9783032323569
New
Paperback
Seller: AussieBookSeller, Truganina, VIC, Australia
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 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. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. Seller Inventory # 9783032323569