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
كتاب من تأليف: Ivanov, Radoslav ; Katz, Guy ; Narodytska, Nina ; Nenzi, Laura ; Isac, Omri ; نشر في: 2022
طبعة:
Cham (Bavière, Allemagne):
Springer
لغة:
إنجليزية
الوصف المادي:
1 Vol. (X, 205p.) ill.
ISBN: 9783031212222
الموضوع
الإعلام الآلي
الكلمات الدالة:
architecting
Autonomous Systems
Computer networks
control theory
Explainable AI
Logic and Verification
