Copied Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
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.
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
|
|
$54.99 | $54.99 |
|
$49.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Gewhrleistungsstaatlichkeit zwischen Wchterfunktion und Innovationsinkubator
$74.99
Handbuch Baubetrieb
$69.99
Basisdokumentation fr Tumorkranke
$69.95
Monte Carlo-Algorithmen
$37.99
Kapitalanlage mit Immobilien
$59.99
Practical Guide to Oral Exams in Obstetrics and Gynecology
$69.99
Zahlen, Formeln, Gleichungen
$24.99
Textiles of Sri Lanka
$169.99
Modern Consuls, Local Communities and Globalization
$54.99
Die Reform des Mietrechtes
$59.99
Martin Luther
$39.99
InCIEC 2013
$329.99
Intelligent Unmanned Ground Vehicles
$169.00
Core Knowledge Sequence Grade K
$485.00
Chronistin und Kritikerin der Moderne
$119.99
New Trends in Atomic and Molecular Physics
$109.99
Palestinians in the Israeli Labor Market
$54.99
Elbow Arthroscopy
$109.99
Die Parkinsonsche Krankheit und ihre Behandlung
$44.99
Heart Function and Metabolism
$219.99
Epithelial Organization and Development
$169.00
Logic, Language, Information, and Computation
$74.99
Nitride Semiconductors and Devices
$219.99
On the Hypotheses Which Lie at the Bases of Geometry
$169.99
Nationalism, Militarism and Masculinity in Post-Conflict Cyprus
$89.99
Solar Magnetohydrodynamics
$329.99
Terrorism Informatics
$169.99
The Painlev Property
$219.99
Reliability Engineering
$119.99
Regulation of Sertoli Cell and Germ Cell Differentiation
$84.99
Potential Theory
$54.99
Interrogating Authenticity in Outdoor Education Teacher Education
$159.99
Regions of Recent Star Formation
$219.99
Seaweed Biology
$379.99
Vorteilhaftigkeit zwischen Leasing und kreditfinanziertem Kauf
$89.99
Number Theory in Function Fields
$89.99
Plant Transcription Factors
$84.99
Untersuchungen ber die Zusammensetzung der Lipide, insbesondere der Phosphatide der Weizenstrke
$54.99
30th International Conference on Organization and Technology of Maintenance (OTO 2021)
$199.99
Familienbildung in Deutschland
$49.99
