Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

AI Verification

AI Verification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031651113
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $99.00 - $99.00
BEST PRICE

Single Product Purchase

$99.00
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$99.00 $99.00

$99.00
See Site In stock Visit Store

Similar Products

Blut und Blutkrankheiten

$69.99

Teaching Leadership and Organizational Behavior through Humor

$109.99

Utility and Probability

$44.99

Wahlrechtsproblematik der Konzernrechnungslegung

$49.99

Lieferzeitpolitik

$59.99

1000 Fragen aus der Physik

$44.99

Marginal Models

$109.99

Complexity in Financial Markets

$109.99

The Secret Guide to Computers

$54.99

Risks, Violence, Security and Peace in Latin America

$44.99

English Writings of Hu Shih

$159.99

Digital Techniques in Echocardiography

$219.99

Perioperative Kidney Injury

$84.99

Mycotoxins in Animal Products

$109.99

IT Security Controls

$69.99

The MERge Model for Business Development

$54.99

Ehen depressiver und schizophrener Menschen

$79.99

Proteoglycans in Stem Cells

$149.00

Complex Networks & Their Applications XII

$219.99

The Politics of Economic Change in Postwar Japan and West Germany

$54.99

SmartSchool - Die Schule von morgen

$19.99

The British Migrant Experience 1700-2000

$109.99

Arbeiterleben und gesundheitliche Versorgung

$69.99

Inelastic Behaviour of Plates and Shells

$169.99

Data Mining for Geoinformatics

$54.99

Metastasis

$89.00

Revolutionizing Civil Engineering with Neuromorphic Computing

$169.99

Infinite Dimensional Analysis, Quantum Probability and Applications

$169.99

Cancer Incidence in Five Continents

$39.99

Financial Security in China

$84.99

Regenerative Medicine

$169.00

Die Elementar-Planimetrie

$49.99

Handbook of Giftedness in Children

$299.00

Walt Whitman: Words for America (Hardcover)

$14.99

Dynamic Taxonomies and Faceted Search

$84.99

Subalternity vs. Hegemony, Cuba's Outstanding Achievements in Science and Biotechnology, 1959-2014

$54.99

Nieten und Schweissen der Dampfkessel

$79.99

Constructions of Strict Lyapunov Functions

$199.99

The Foundations of Ethology

$54.99

Middle and Upper Paleolithic Sites in the Eastern Hemisphere

$139.99