Book Title: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Book Subtitle: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Editors: Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-21222-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-21221-5Published: 16 December 2022
eBook ISBN: 978-3-031-21222-2Published: 15 December 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 205
Number of Illustrations: 8 b/w illustrations, 34 illustrations in colour
