Title

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Title Supplement
5th International Workshop, FoMLAS 2022 and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Editor(s)
Isac, Omri
Publisher
Publication Date
2022
Series
Lecture Notes in Computer Science; 13466
ISBN
978-3-031-21221-5
978-3-031-21222-2
978-3-031-21223-9
DOI
Conference
Acronym
FoMLAS
NSV
CAV
Language
English