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

Häftad, Engelska, 2022

Av Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

919 kr

Skickas onsdag 26/11

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2022-12-16
Mått155 x 235 x 18 mm
Vikt334 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor205
FörlagSpringer International Publishing AG
ISBN9783031212215

Tillhör följande kategorier

FoMLAS 2022.- VPN: Verification of Poisoning in Neural Networks.- A Cascade of Checkers for Run-time Certification of Local Robustness.- CEG4N: Counter-Example Guided Neural Network Quantization Refinement .- Minimal Multi-Layer Modifications of Deep Neural Networks.- Differentiable Logics for Neural Network Training and Verification.- Neural Networks in Imandra: Matrix Representation as a Verification Choice.- Self-Correcting Neural Networks For Safe Classification.- Self-Correcting Neural Networks For Safe Classification.- NSV 2022.- Verified Numerical Methods for Ordinary Differential Equations.- Neural Network Precision Tuning Using Stochastic Arithmetic.- MLTL Multi-type (MLTLM): A Logic for Reasoning about Signals of Different Types.