Software Verification and Formal Methods for ML-Enabled Autonomous Systems Image close
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Show Hide Adult Content
Software Verification and Formal Methods for ML-Enabled Autonomous Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development  
Software Engineering  
Software testing & verification

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$170.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $42.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Verification, Model Checking, and Abstract Interpretation
$204.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation Save $49
$135.99
$185.95
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking Software
$173.99
Model Checking Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$142.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Testing Save $30
$138.99
$169.95
Formal Methods and Testing
Paperback / softback
Available - Usually ships in 3-4 weeks
Testing Software and Systems
$238.99
Testing Software and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation Save $31
$135.99
$167.95
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification and Evaluation of Computer and Communication Systems
$135.99
Verification and Evaluation of Computer and Communication Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$135.99
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Model Checking Software Save $16
$135.99
$152.95
Model Checking Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis Save $13
$135.99
$149.95
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
$135.99
Reliability, Safety, and Security of Railway Systems. Modelling,...
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification Save $39
$147.99
$187.95
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation Save $13
$141.99
$155.95
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$181.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Advances in Cryptology – EUROCRYPT 2024
$307.99
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 10 Jun 2024

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. 
Release date Australia
December 16th, 2022
Contributors
  • Edited by Guy Katz
  • Edited by Laura Nenzi
  • Edited by Nina Narodytska
  • Edited by Omri Isac
  • Edited by Radoslav Ivanov
Pages
205
Edition
1st ed. 2022
Audience
  • Professional & Vocational
Illustrations
34 Illustrations, color; 8 Illustrations, black and white; X, 205 p. 42 illus., 34 illus. in color.
ISBN-13
9783031212215
Product ID
36039322

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development >
Software Engineering >
Software testing & verification