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

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

$54.99
See Site In stock Visit Store

Similar Products

Cognitive Computing ICCC 2022

$59.99

Java als erste Programmiersprache

$44.99

ffentliche Unternehmen zwischen Privatwirtschaft und ffentlicher Verwaltung

$49.99

Damage Tolerance of Metallic Aircraft Structures

$64.99

Political Social Work

$79.99

Group Interventions in Schools

$54.99

Arbeitslosigkeit und Wohlfahrtsstaat in Westeuropa

$59.99

Proceedings of SAE-China Congress 2015: Selected Papers

$169.00

The British Expeditionary Force, 1939-40

$99.99

Nonparametric Monte Carlo Tests and Their Applications

$54.99

Kompetentes Human Resources Management

$39.99

Mechanics of Creep Brittle Materials 2

$54.99

Silizium-Planartechnologie

$39.99

Emerging State and Economy

$169.99

Offene Hernienchirurgie

$99.99

The Horizontal Metropolis Between Urbanism and Urbanization

$299.99

Research Methods for the Self-Study of Practice

$179.99

Understanding and Preventing Corruption

$64.99

Andrologie

$249.99

Berufsbildungspolitik

$59.99

Lehrbuch der Textilchemie

$64.99

The Lived Curriculum Experiences of Jamaican Teachers

$49.99

Cyclic Polymers

$84.99

Passive Synthesis und Intersubjektivitt bei Edmund Husserl

$149.99

The Role of Ascorbic Acid in Growth, Differentiation and Metabolism of Plants

$169.99

Protein Purification

$139.99

Multiscale Potential Theory

$54.99

Software-Zuverlssigkeit

$69.95

Metaheuristics

$89.00

Supply Chain Engineering

$169.00

Proteases and Their Receptors in Inflammation

$169.99

Noninvasive Methods for the Quantification of Skin Functions

$84.99

Exploration und Exploitation in adoleszenten Unternehmen

$59.99

Single Frequency Semiconductor Lasers

$219.99

Zukunftsentwrfe des Leibes

$39.99

Man-Machine-Environment System Engineering

$379.99

Young People Using Family Violence

$129.99

Introduction to Neuro-Fuzzy Systems

$54.99

Impact Assessment for Developing Countries

$24.99

Control of Fuel Combustion in Boilers

$99.00