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

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

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

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022. The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability, and accountability of ML-enabled autonomous systems. NSV 2022 is focusing on the challenges of the verification of cyber-physical systems with machine learning components.

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

Single Product Purchase

$49.50
@ Link.springer.com with extra coupon Get Coupon & BUY

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
$54.99 $54.99

10% OFF
This deals requires coupon Get Code Here
$49.50
See Site In stock Visit Store

Similar Products

Trauma Computed Tomography

$179.99

Transition Problems of Aelotropic Yield and Creep Rupture

$4.99

Power Theories for Improved Power Quality

$129.00

Introduction to Data Mining and its Applications

$219.99

The Educational Innovators, 1750-1967

$329.99

Computational Methods and Function Theory

$34.99

Teaching Economics

$39.99

The Logic of Categories

$54.99

Long Non-Coding RNAs

$249.99

Amino Acids as Chemical Transmitters

$39.99

I Can Read! Level 1 - I Want to Be: I Want to be an Engineer

$4.46

Europeanization

$54.99

Laser Pulse Heating of Surfaces and Thermal Stress Analysis

$109.99

Handbook of Convex Optimization Methods in Imaging Science

$169.99

Managementwissen

$49.99

Cytochrome Oxidase in Neuronal Metabolism and Alzheimers Disease

$249.99

Grundfragen der Medienwirtschaft

$34.99

Proceedings of the 11th International Symposium on Heating, Ventilation and Air Conditioning (ISHVAC

$169.00

The Self-Concept

$109.99

Epidemische Erkrankungen an akutem Exanthem mit typhsem Charakter in der Garnison Cosel

$59.99

Brokommunikationssysteme in Unternehmen

$59.99

The Yard Sale

$3.71

Golden Years of Australian Radio Astronomy

$54.99

Konzeptionelle Modelle fr die ergotherapeutische Praxis

$74.99

Biomedical Applications of Hydrogels Handbook

$169.99

Tolstoy on the Couch

$109.99

Ultrastructure of Endocrine Cells and Tissues

$39.99

Entwicklung eines Systems zur optimalen zweidimensionalen Verschnittoptimierung in der Einzel- und K

$79.99

Women and Low Pay

$44.99

Cardiovascular Imaging

$39.99

Elemente des deutschen Theatersystems

$17.99

Monitoring in Ansthesie und Intensivmedizin

$89.00

Foundations of Quantum Mechanics

$54.99

A Chair for My Mother

$5.96

Sustainable Retail Development

$129.00

Die Stabilitt des mehrfeldrigen elastisch gesttzten Stabes

$69.99

Swift and Science

$54.99

Korrosionstabellen metallischer Werkstoffe, geordnet nach angreifenden Stoffen

$54.99

Verlorene Wirklichkeiten

$44.99

Clinical Management of Memory Problems

$54.99