Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
AI Verification
Best Price (Coupon Required):
Buy AI Verification for $89.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$99.00 | $99.00 |
|
10% OFF
This deals requires coupon
|
$89.10 | See Site | In stock | Visit Store |
Product Details
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. 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.
Reviews
Questions & Answers
Left Principal Ideal Rings
$29.99
Gedanken ber einen neuen deutschen Luftverkehr
$49.99
Functional and Structural Proteomics of Glycoproteins
$129.00
Artificial Vision for Robots
$54.99
Construction Inspection Handbook
$299.99
Markov Chains and Invariant Probabilities
$54.99
Beginning Rust
$39.99
Franny K. Stein, Mad Scientist: Lunch Walks Among Us
$3.71
Studierendenmilieus und fachkulturelle Passung
$84.99
Praxishandbuch Innovation
$44.99
Techniques in Rheological Measurement
$219.99
Re-evaluating the Literary Coterie, 15801830
$129.99
New Directions in the History of the Novel
$39.99
Exercise Testing for Primary Care and Sports Medicine Physicians
$84.99
Jahrbuch fr Handlungs- und Entscheidungstheorie
$29.99
The Hereditary Basis of Allergic Diseases
$84.99
Well-Posedness of Parabolic Difference Equations
$39.99
Chinas Economic New Normal
$109.99
Ethics in Science
$109.99
Measurements of Spin-Orbit Angles for Transiting Systems
$109.99
Online Marketing
$59.99
Methodologies and Intelligent Systems for Technology Enhanced Learning, 10th International Conferenc
$169.99
Foundations and Tools for Neural Modeling
$84.99
Solidarity Mobilizations in the Refugee Crisis
$179.99
Justifying Language
$39.99
Konstruktionsmethode fr den Maschinen-, Gerte- und Apparatebau
$54.99
The Evolution of British Counter-Insurgency during the Cyprus Revolt, 19551959
$64.99
Polish Migrants in European Film 19182017
$79.99
Aligning Information Technology, Organization, and Strategy
$39.99
Reducing Natural Resource Dependency for Economic Growth in Resource Rich Countries
$139.99
Asset Management
$139.00
In the Mountains
$3.71
Therapeutic Laser Endoscopy in Gastrointestinal Disease
$169.99
Parallel Computing on Distributed Memory Multiprocessors
$84.99
Strategie: Ausrichtung von Unternehmen auf die Erfolgslogik ihrer Industrie
$69.99
Die regierbare Stadt
$59.99
Army, Empire and Politics in Meiji Japan
$109.99
Atlas of Peripheral Nerve Ultrasound
$129.99
The Environment and Economic Development in South Asia
$39.99
Reforms, Organizational Change and Performance in Higher Education
$31.00
