Nina Narodytska

Nina Narodytska

Books

Co-authored books and collections

Books that list Nina Narodytska among their authors but not as the lead author: co-written works, collections and compilations.

AI VerificationGuy Avni

AI Verification

Guy Avni · 2024

Software Verification and Formal Methods for ML-Enabled Autonomous SystemsOmri Isac

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac · 2023