Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13466)
Included in the following conference series:
- FoMLAS: Workshop on Formal Methods for ML-Enabled Autonomous Systems
- NSV: International Workshop on Numerical Software Verification
Conference proceedings info: FoMLAS 2022, NSV 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 papers)
-
FoMLAS 2022
Other volumes
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Keywords
- architecting
- Autonomous Systems
- computer networks
- Control Theory
- embedded systems
- Explainable AI
- Hybrid Systems
- Interactive Theorem Proofs
- Logic and Verification
- machine learning
- network protocols
- Neural Network Verification
- neural networks
- Numerical Methods
- Reachability Analysis
- Satisfiability Modulo Theory
- signal processing
- software engineering
- Statistical Verification
About this book
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.
Editors and Affiliations
Bibliographic Information
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
Topics: Logics and Meanings of Programs, Computer Communication Networks, Machine Learning, Image Processing and Computer Vision, Software Engineering
Industry Sectors: Aerospace, Electronics, IT & Software, Telecommunications