2 E-böcker av Nina Narodytska
Omri Isac & Radoslav Ivanov: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, Fo MLAS 2022, and the 15th Internationa …
EPUB
Engelska
DRM
€70.62
Guy Avni & Mirco Giacobbe: AI Verification
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categori …
EPUB
Engelska
DRM
€140.85
