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

Educational Research - the Ethics and Aesthetics of Statistics

$109.99

Option Prices as Probabilities

$39.99

Aufgabensammlung Elektrische Messtechnik

$39.99

Tabellen zur Berechnung von einfach und doppelt armierten Balken und Platten aus Eisenbeton, mit Hil

$54.99

Intelligent Technologies

$219.99

Spoken Discourse Impairments in the Neurogenic Populations

$169.99

Mewert-Analyse

$69.99

Advances in Cryogenic Engineering

$84.99

Linking People, Place, and Policy

$84.99

Elektrotechnik und Witterung

$59.99

Bordering and Governmentality Around the Greek Islands

$129.99

Asian Trade and European Influence

$54.99

Radiology of the Pancreas

$39.99

Steroid Receptors

$84.99

Advances in Cryptology EUROCRYPT 2017

$99.99

The Politics of Social Cohesion in Germany, France and the United Kingdom

$54.99

Die plastischen Eigenschaften von Einkristallen bei homogener Verformung

$44.99

Generative AI

$39.99

Non-Instantaneous Impulses in Differential Equations

$109.99

Zerkleinerungsvorrichtungen und Mahlanlagen

$59.99

Policies and Practices in Italian Welfare Housing

$54.99

Einfhrung in die Physik des Transistors

$44.99

Energy Technology 2015

$149.00

Northeast Asias Difficult Past

$39.99

Prospects of Alternative Transportation Fuels

$109.99

The Noninvasive Evaluation of Hemodynamics in Congenital Heart Disease

$39.99

Semantic Technology

$54.99

The Feminization Debate in Eighteenth-Century England

$119.99

Exercise Testing and Training in Coronary Heart Disease

$54.99

Special Functions, Probability Semigroups, and Hamiltonian Flows

$29.99

Coordination Models and Languages

$54.99

Informationsrecherche in Hypertext- und Multimedia-Dokumenten

$59.99

Methodology of Highway Engineering Structural Design and Construction

$169.99

Zeolites: Science and Technology

$39.99

Countable Boolean Algebras and Decidability

$169.99

Immunometabolism

$99.00

Urgency and Human Rights

$139.99

Principles and Practice of Blockchains

$84.99

Contributions to Geometry

$54.99

Big Data fr Entscheider

$17.99