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
Oxidative Stress: Diagnostic Methods and Applications in Medical Science
$109.99
Handbook of Injury and Violence Prevention
$109.99
Meals in Early Judaism
$109.99
The Moral Life: Essays in Honour of John Cottingham
$54.99
Transgenic Crops of the World
$169.99
Semiotics and International Scholarship: Towards a Language of Theory
$169.99
Adsorption of Reactive Red 158 Dye by Chemically Treated Cocos Nucifera L. Shell Powder
$49.95
Quasiconformal Mappings and Sobolev Spaces
$54.99
Nonlinear Phenomena in Flows of Viscoelastic Polymer Fluids
$379.99
Chinese Perspectives on Cultural Psychiatry
$109.99
Antike Metallurgie und Mnzprgung
$34.99
Fairytale and Gothic Horror
$139.99
Information Technology and Lawyers
$84.99
Aligner Systems in Invisible Orthodontics
$119.00
Mechatronic Systems Design
$84.99
Postcolonial African Migration to the West
$129.99
Smart Engineering
$29.99
Lehrbuch der Funktionentheorie
$39.99
Behaviour of Lithium-Ion Batteries in Electric Vehicles
$149.00
Multisensuale Markenfhrung
$79.99
Gallium Nitride-enabled High Frequency and High Efficiency Power Conversion
$159.99
The Hungarian Nominal Functional Sequence
$109.99
Biomass Energy
$54.99
Proceedings of the National Workshop on Recent Advances in Condensed Matter and High Energy Physics
$84.99
Philosophy of Advanced Medical Imaging
$54.99
Handbook of HER2-targeted agents in breast cancer
$49.99
Messung und Steuerung der Kommunikations-Effizienz
$74.99
Mass Terms: Some Philosophical Problems
$199.99
The Recursion Method and Its Applications
$84.99
Handbuch zur Kinder- und Jugendliteratur
$349.99
Modeling, Control and Drug Development for COVID-19 Outbreak Prevention
$249.99
The Vendian System
$109.99
Community Radio's Amplification of Communication for Social Change
$89.99
Liver, Lung and Heart Regeneration
$109.99
Organic Photovoltaics
$219.99
Colors of Awesome - 24 Bold Women Who Inspired The World by Eva Chen
$9.99
Pseudo-retranslation
$44.99
Fortschritte der Osteologie in Diagnostik und Therapie
$69.99
Inorganic Nanosheets and Nanosheet-Based Materials
$249.99
Die Klinische Neuorientierung zum Hysterieproblem unter dem Einflusse der Kriegserfahrungen
$59.99
