Nina Narodytska
Identifiers
- Open LibraryOL10841243A
Books by Nina Narodytska
Total count: 2
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, ProceedingsSpringer International Publishing AG2023-01-01
-
AI VerificationFirst International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, ProceedingsSpringer2024-01-01