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

AvOmri Isac,Radoslav Ivanov

Häftad, Engelska, 2022

Del 13466 i serien Lecture Notes in Computer Science

715 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2022-12-16
Mått:155 x 235 x 18 mm
Vikt:334 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:205
Förlag:Springer International Publishing AG
ISBN:9783031212215

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

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.