Home > Authors > Nina Narodytska

Nina Narodytska

All books by Nina Narodytska

(Displaying 2 Books)

AI Verification

AI Verification

Guy Avni

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Omri Isac

Looking for another book by Nina Narodytska? Search for the book by title.