Home > Authors > Guy Avni > AI Verification

AI Verification

Guy Avni, Mirco Giacobbe, Anna Lukina, Nina Narodytska

Recent activity

Rate this book to see your activity here.

1 Book Similar to AI Verification by Guy Avni

Bookscovery readers who liked AI Verification also like Software Verification and Formal Methods for ML-Enabled Autonomous Systems. How many of these have you read?

Software Verification and Formal Methods for ML-Enabled Autonomous Systems by Omri Isac

Cover of Software Verification and Formal Methods for ML-Enabled Autonomous Systems

I liked it Liked it

I didn't like it Didn't like

Want to read Want to read

Not interested Not for me

Review book

More books like this

Buy this book at:

Bookshop.org Amazon

Comments and reviews of AI Verification

Please sign in to leave a comment