Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Subtitle: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Publisher: Springer International Publishing AG
Published: 2023
Language: eng
ISBN-13: 9783031212215